summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
Commit message (Collapse)AuthorAge
* Switched to EZMINISAT_SIMPSOLVER as default SAT solverClifford Wolf2014-03-05
|
* Added ezSAT::eliminated API to help the SAT solver remember eliminated variablesClifford Wolf2014-03-01
|
* Added support for Minisat::SimpSolver + ezSAT frezze() APIClifford Wolf2014-02-23
|
* Added ezMiniSat EZMINISAT_INCREMENTAL compile-time optionClifford Wolf2014-02-22
|
* Made MiniSat solver backend configurable in ezminisat.hClifford Wolf2014-02-22
|
* Added timout functionality to SAT solverClifford Wolf2013-06-20
|
* Added ezSAT libraryClifford Wolf2013-06-07