1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/zchaff/default.nix b/pkgs/applications/science/logic/zchaff/default.nix
new file mode 100644
index 000000000000..5fd73a8def8d
--- /dev/null
+++ b/pkgs/applications/science/logic/zchaff/default.nix
@@ -0,0 +1,27 @@
+{ lib, clangStdenv, fetchurl }:
+
+clangStdenv.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=${clangStdenv.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;
+  };
+}