diff options
author | Alyssa Ross <hi@alyssa.is> | 2022-06-04 21:27:03 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2022-06-04 21:27:03 +0000 |
commit | 5487bcdfdd2c750274761263f3d65c00d7f6897b (patch) | |
tree | 6584bf52d6b70a59e10cd8eef51280f42ad2afa8 /pkgs/applications/science/logic/zchaff/sat_solver.patch | |
parent | 8b9edf1e0fa01a9de7db6ead1b7b28f23b91b3e2 (diff) | |
parent | 1623d81e507520b5207307bc2bf8cfcddf90944a (diff) | |
download | nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar.gz nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar.bz2 nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar.lz nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar.xz nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.tar.zst nixpkgs-5487bcdfdd2c750274761263f3d65c00d7f6897b.zip |
Rebase onto 236cc2971ac72acd90f0ae3a797f9f83098b17ec
Signed-off-by: Alyssa Ross <hi@alyssa.is>
Diffstat (limited to 'pkgs/applications/science/logic/zchaff/sat_solver.patch')
-rw-r--r-- | pkgs/applications/science/logic/zchaff/sat_solver.patch | 12 |
1 files changed, 12 insertions, 0 deletions
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; + |