aboutsummaryrefslogtreecommitdiffstats
path: root/libs/ezsat/testbench.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fixed trailing whitespacesClifford Wolf2015-07-021-4/+4
|
* Added ezSAT::keep_cnf() and ezSAT::non_incremental()Clifford Wolf2014-07-211-0/+6
|
* Improved ezsat stand-alone testsClifford Wolf2014-05-061-102/+18
|
* Removed ezSAT::assumed() APIClifford Wolf2014-03-011-5/+0
|
* Added ezSAT libraryClifford Wolf2013-06-071-0/+524