aboutsummaryrefslogtreecommitdiff
path: root/math/minisat/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
* Add minisat port - a lightweight SAT solver.Vsevolod Stakhov2013-09-181-0/+20