aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/Solver.cc
Commit message (Expand)AuthorAgeFilesLines
* minisat: Only define __STDC_XXX_MACROS if not already defined.Tim 'mithro' Ansell2017-11-251-0/+4
* Updated minisatClifford Wolf2014-07-211-4/+4
* Some fixes in libs/minisat (thanks to Siesh1oo)Clifford Wolf2014-03-121-5/+5
* Added libs/minisat (copy of minisat git master)Clifford Wolf2014-03-121-0/+1068