aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/System.cc
Commit message (Expand)AuthorAgeFilesLines
* Updated minisatClifford Wolf2014-07-211-1/+1
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-121-3/+3
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-0/+171