tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / by-name / zc / zchaff / sat_solver.patch
at python-updates 12 lines 240 B view raw
1diff --git a/sat_solver.cpp b/sat_solver.cpp 2index e191881..07c0926 100644 3--- a/sat_solver.cpp 4+++ b/sat_solver2.cpp 5@@ -43,6 +43,7 @@ 6 #include <vector> 7 #include <dirent.h> 8 #include "SAT.h" 9+#include <cstring> 10 11 using namespace std; 12