summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
Commit message (Expand)AuthorAge
* Changed MiniSAT feater defines againClifford Wolf2013-10-31
* Fixed ezminisat C++ errors: undef PRIi64Clifford Wolf2013-10-30
* Fixed minisat includeClifford Wolf2013-10-11
* Fixed gcc warnings in ezminisatClifford Wolf2013-07-05
* Added timout functionality to SAT solverClifford Wolf2013-06-20
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-09
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-08
* Added ezSAT libraryClifford Wolf2013-06-07