Enabling Glucose in SAT sweeping: &fraig -g.

5585ce8a · Alan Mishchenko · 36858c53 · 5585ce8a
Commit 5585ce8a authored Sep 18, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/proof/cec/module.make
+1 -0

No files found.
--- a/src/proof/cec/module.make
+++ b/src/proof/cec/module.make
@@ -7,6 +7,7 @@ SRC +=    src/proof/cec/cecCec.c \
    src/proof/cec/cecMan.c \
    src/proof/cec/cecPat.c \
    src/proof/cec/cecSat.c \
+    src/proof/cec/cecSatG.c \
    src/proof/cec/cecSeq.c \
    src/proof/cec/cecSolve.c \
    src/proof/cec/cecSplit.c \