summaryrefslogtreecommitdiff
path: root/libs/ezsat/Makefile
Commit message (Expand)AuthorAge
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-21
* Fixed ezSAT stand-alone buildClifford Wolf2014-07-21
* Improved ezsat stand-alone testsClifford Wolf2014-05-06
* Fixes and improvements in ezSAT libraryClifford Wolf2013-06-08
* Added ezSAT libraryClifford Wolf2013-06-07