diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 17:57:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 17:57:44 -0700 |
| commit | f68bd519c69dabfe0c507810d84d3289e082947e (patch) | |
| tree | 8475dee53e0bb4cb66db9eccc9f316c304f2a6ba /src/sat/bmc/bmc.h | |
| parent | 8063887ffe8528bb5100b3ede7400956eefa4d53 (diff) | |
| download | abc-f68bd519c69dabfe0c507810d84d3289e082947e.tar.gz abc-f68bd519c69dabfe0c507810d84d3289e082947e.tar.bz2 abc-f68bd519c69dabfe0c507810d84d3289e082947e.zip | |
Integrating Glucose into &bmcs -g.
Diffstat (limited to 'src/sat/bmc/bmc.h')
| -rw-r--r-- | src/sat/bmc/bmc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index 689647e7..06c503ac 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -93,6 +93,7 @@ struct Bmc_AndPar_t_ int fDumpFrames; // dump unrolled timeframes int fUseSynth; // use synthesis int fUseOldCnf; // use old CNF construction + int fUseGlucose; // use Glucose 3.0 as the default solver int fVerbose; // verbose int fVeryVerbose; // very verbose int fNotVerbose; // skip line-by-line print-out |