summaryrefslogtreecommitdiff
path: root/libs/ezsat/testbench.cc
Commit message (Expand)AuthorAge
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-21
* Improved ezsat stand-alone testsClifford Wolf2014-05-06
* Removed ezSAT::assumed() APIClifford Wolf2014-03-01
* Added ezSAT libraryClifford Wolf2013-06-07