summaryrefslogtreecommitdiff
path: root/libs/minisat/SolverTypes.h
Commit message (Expand)AuthorAge
* minisat compile fixClifford Wolf2014-04-20
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-12