diff options
Diffstat (limited to 'src/proof/cec/cec.h')
| -rw-r--r-- | src/proof/cec/cec.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/proof/cec/cec.h b/src/proof/cec/cec.h index 757d9fd3..c5c5dbb7 100644 --- a/src/proof/cec/cec.h +++ b/src/proof/cec/cec.h @@ -102,6 +102,9 @@ struct Cec_ParFra_t_ int TimeLimit; // the runtime limit in seconds int nLevelMax; // restriction on the level nodes to be swept int nDepthMax; // the depth in terms of steps of speculative reduction + int nCallsRecycle; // calls to perform before recycling SAT solver + int nSatVarMax; // the max number of SAT variables + int nGenIters; // pattern generation iterations int fRewriting; // enables AIG rewriting int fCheckMiter; // the circuit is the miter // int fFirstStop; // stop on the first sat output |