Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Disabled ezminisat timeout feature for Win32 | Clifford Wolf | 2014-10-11 |
* | 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 |