类型
|
变量名
|
初始化 |
功能 |
| int | incremental |
static BoolOption opt_incremental(_cat, "incremental", "Use incremental SAT solving", false); incremental(opt_incremental) |
Use incremental SAT solving |
| vec<lbool> | model | vec() : data(NULL), sz(0), cap(0) {} | If problem is satisfiable, this vector contains the model |
| vec<Lit> | conflict | vec() : data(NULL), sz(0), cap(0) {} | If problem is unsatisfiable，this vector represent the final conflict clause expressed in the assumptions. |
| uint64_t | solves | 初始化为0 | 目前没发现什么用处 |
| uint64_t |
starts |
初始化为0 | 统计重启次数？ |