parent
72cb3780a5
commit
a6aa08532c
@ -0,0 +1,27 @@ |
||||
{ lib, stdenv, fetchurl }: |
||||
|
||||
stdenv.mkDerivation rec { |
||||
pname = "zchaff"; |
||||
version = "2004.5.13"; |
||||
|
||||
src = fetchurl { |
||||
url = "https://www.princeton.edu/~chaff/zchaff/zchaff.${version}.tar.gz"; |
||||
sha256 = "sha256-IgOdb2KsFbRV3gPvIPkHa71ixnYRxyx91vt7m0jzIAw="; |
||||
}; |
||||
|
||||
patches = [ ./sat_solver.patch ]; |
||||
makeFlags = [ "CC=${stdenv.cc.targetPrefix}c++" ]; |
||||
installPhase= '' |
||||
runHook preInstall |
||||
install -Dm755 -t $out/bin zchaff |
||||
runHook postInstall |
||||
''; |
||||
|
||||
meta = with lib; { |
||||
homepage = "https://www.princeton.edu/~chaff/zchaf"; |
||||
description = "Accelerated SAT Solver from Princeton"; |
||||
license = licenses.mit; |
||||
maintainers = with maintainers; [ siraben ]; |
||||
platforms = platforms.unix; |
||||
}; |
||||
} |
@ -0,0 +1,12 @@ |
||||
diff --git a/sat_solver.cpp b/sat_solver.cpp
|
||||
index e191881..07c0926 100644
|
||||
--- a/sat_solver.cpp
|
||||
+++ b/sat_solver2.cpp
|
||||
@@ -43,6 +43,7 @@
|
||||
#include <vector>
|
||||
#include <dirent.h>
|
||||
#include "SAT.h"
|
||||
+#include <cstring>
|
||||
|
||||
using namespace std;
|
||||
|
Loading…
Reference in new issue