From a6aa08532c30e3b009988280f25144a4df23d1ff Mon Sep 17 00:00:00 2001
From: Ben Siraphob <bensiraphob@gmail.com>
Date: Sat, 21 May 2022 15:12:08 -0700
Subject: zchaff: init at 2004.5.13

---
 pkgs/applications/science/logic/zchaff/default.nix | 27 ++++++++++++++++++++++
 .../science/logic/zchaff/sat_solver.patch          | 12 ++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 pkgs/applications/science/logic/zchaff/default.nix
 create mode 100644 pkgs/applications/science/logic/zchaff/sat_solver.patch

(limited to 'pkgs/applications/science/logic')

diff --git a/pkgs/applications/science/logic/zchaff/default.nix b/pkgs/applications/science/logic/zchaff/default.nix
new file mode 100644
index 0000000000000..8eedd9b43e535
--- /dev/null
+++ b/pkgs/applications/science/logic/zchaff/default.nix
@@ -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;
+  };
+}
diff --git a/pkgs/applications/science/logic/zchaff/sat_solver.patch b/pkgs/applications/science/logic/zchaff/sat_solver.patch
new file mode 100644
index 0000000000000..2a84ba18de245
--- /dev/null
+++ b/pkgs/applications/science/logic/zchaff/sat_solver.patch
@@ -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;
+ 
-- 
cgit 1.4.1