Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Switched to EZMINISAT_SIMPSOLVER as default SAT solver | Clifford Wolf | 2014-03-05 |
| | |||
* | Added ezSAT::eliminated API to help the SAT solver remember eliminated variables | Clifford Wolf | 2014-03-01 |
| | |||
* | Added support for Minisat::SimpSolver + ezSAT frezze() API | Clifford Wolf | 2014-02-23 |
| | |||
* | Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option | Clifford Wolf | 2014-02-22 |
| | |||
* | Made MiniSat solver backend configurable in ezminisat.h | Clifford Wolf | 2014-02-22 |
| | |||
* | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 |
| | |||
* | Added ezSAT library | Clifford Wolf | 2013-06-07 |