diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-12 22:07:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-12 22:07:01 -0800 |
| commit | 8dd31fb4a96f63fb24549019ea14ec6d3dc41d8e (patch) | |
| tree | fb287f47fc1a358949ad4c6bd09446d3449d1734 /src/sat/bmc/bmc.h | |
| parent | de695c9d4c5fbc0e48e30d8aeefd8fe1f9a51507 (diff) | |
| download | abc-8dd31fb4a96f63fb24549019ea14ec6d3dc41d8e.tar.gz abc-8dd31fb4a96f63fb24549019ea14ec6d3dc41d8e.tar.bz2 abc-8dd31fb4a96f63fb24549019ea14ec6d3dc41d8e.zip | |
Integrating new CNF generation into &bmc.
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 19a4679d..bdb5905a 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -83,6 +83,7 @@ struct Bmc_AndPar_t_ int nFramesAdd; // the number of additional frames int nConfLimit; // maximum number of conflicts at a node int nTimeOut; // timeout in seconds + int nLutSize; // LUT size for cut computation int fLoadCnf; // dynamic CNF loading int fDumpFrames; // dump unrolled timeframes int fUseSynth; // use synthesis |