646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
13 lines
240 B
Diff
13 lines
240 B
Diff
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;
|
|
|