diff --git a/pkgs/applications/science/logic/zchaff/default.nix b/pkgs/applications/science/logic/zchaff/default.nix
new file mode 100644
index 00000000000..8eedd9b43e5
--- /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 00000000000..2a84ba18de2
--- /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;
+ 
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 03b807a0686..dcfc0ddf21e 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -33411,6 +33411,8 @@ with pkgs;
   };
   z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix {};
 
+  zchaff = callPackage ../applications/science/logic/zchaff { };
+
   tlaplus = callPackage ../applications/science/logic/tlaplus {
     jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731
   };