aboutsummaryrefslogtreecommitdiff
path: root/math/minisat
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup plistAntoine Brodin2014-11-151-5/+0
| | | | Notes: svn path=/head/; revision=372596
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) Notes: svn path=/head/; revision=361099
* - Unbreak with clang 3.4 (not bumping revision).Vsevolod Stakhov2014-03-312-1/+21
| | | | Notes: svn path=/head/; revision=349723
* - Stage supportMartin Wilke2014-02-021-1/+0
| | | | | | | - Convert few ports to USES Notes: svn path=/head/; revision=342300
* Fix properties on pkg-plistBaptiste Daroussin2014-01-211-1/+0
| | | | Notes: svn path=/head/; revision=340674
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Add minisat port - a lightweight SAT solver.Vsevolod Stakhov2013-09-184-0/+68
Notes: svn path=/head/; revision=327544