summaryrefslogtreecommitdiff
path: root/libs/minisat/PATCH_mkLit_default_arg.patch
Commit message (Expand)AuthorAge
* minisat compile fixClifford Wolf2014-04-20