aboutsummaryrefslogtreecommitdiff
path: root/math/minisat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Downgrade C++03 to C++98, actual default for GCC < 6Jan Beich2018-10-281-1/+1
* - Fix build with clang 6Vsevolod Stakhov2018-01-251-1/+1
* - Fix compatibility with c++11Dmitry Marakasov2015-06-261-1/+9
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
* - Unbreak with clang 3.4 (not bumping revision).Vsevolod Stakhov2014-03-311-1/+1
* - Stage supportMartin Wilke2014-02-021-1/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Add minisat port - a lightweight SAT solver.Vsevolod Stakhov2013-09-181-0/+16