diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 09:37:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 09:37:20 -0700 |
| commit | 5585ce8aa647d0a6fcb2be2517a691ed949de85e (patch) | |
| tree | 8d471614983da6caa1647ab3faabfa29efc73f72 /src/proof/cec | |
| parent | 36858c5365c73b8702deccbbac90279f8917a7ca (diff) | |
| download | abc-5585ce8aa647d0a6fcb2be2517a691ed949de85e.tar.gz abc-5585ce8aa647d0a6fcb2be2517a691ed949de85e.tar.bz2 abc-5585ce8aa647d0a6fcb2be2517a691ed949de85e.zip | |
Enabling Glucose in SAT sweeping: &fraig -g.
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make index 38106e5e..86ec2677 100644 --- 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 \ |