aboutsummaryrefslogtreecommitdiffstats
path: root/math/minisat/pkg-descr
Commit message (Collapse)AuthorAgeFilesLines
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*amdmi32016-05-191-1/+1
| | | | Approved by: portmgr blanket
* Add minisat port - a lightweight SAT solver.vsevolod2013-09-181-0/+20