aboutsummaryrefslogtreecommitdiff
path: root/math/minisat
Commit message (Expand)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Add minisat port - a lightweight SAT solver.Vsevolod Stakhov2013-09-184-0/+68