aboutsummaryrefslogtreecommitdiff
path: root/math/minisat/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* - Fix compatibility with c++11Dmitry Marakasov2015-06-261-15/+14
* Cleanup plistAntoine Brodin2014-11-151-5/+0
* Fix properties on pkg-plistBaptiste Daroussin2014-01-211-1/+0
* Add minisat port - a lightweight SAT solver.Vsevolod Stakhov2013-09-181-0/+30