summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
Commit message (Expand)AuthorAge
* Added timout functionality to SAT solverClifford Wolf2013-06-20
* Added ezSAT libraryClifford Wolf2013-06-07