aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/PATCH_mkLit_default_arg.patch
Commit message (Collapse)AuthorAgeFilesLines
* Removed Minisat dependency on zlibClifford Wolf2014-07-251-20/+0
|
* minisat compile fixClifford Wolf2014-04-201-0/+20