aboutsummaryrefslogtreecommitdiffstats
path: root/math/minisat
Commit message (Expand)AuthorAgeFilesLines
* Cleanup plistantoine2014-11-151-5/+0
* Remove indefinite articles and trailing periods from COMMENT, plus minorolgeni2014-07-071-1/+1
* - Unbreak with clang 3.4 (not bumping revision).vsevolod2014-03-312-1/+21
* - Stage supportmiwi2014-02-021-1/+0
* Fix properties on pkg-plistbapt2014-01-221-1/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Add minisat port - a lightweight SAT solver.vsevolod2013-09-184-0/+68