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