Experiments with SAT-based cube enumeration.

1961f179 · Alan Mishchenko · 6da21b8b · 1961f179
Commit 1961f179 authored Mar 05, 2015 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/sat/bmc/module.make
+1 -0

No files found.
--- a/src/sat/bmc/module.make
+++ b/src/sat/bmc/module.make
@@ -13,6 +13,7 @@ SRC +=    src/sat/bmc/bmcBCore.c \
    src/sat/bmc/bmcChain.c \
    src/sat/bmc/bmcEco.c \
    src/sat/bmc/bmcFault.c \
+    src/sat/bmc/bmcFx.c \
    src/sat/bmc/bmcICheck.c \
    src/sat/bmc/bmcInse.c \
    src/sat/bmc/bmcLoad.c \