aboutsummaryrefslogtreecommitdiff
path: root/math/minisat/files
Commit message (Expand)AuthorAgeFilesLines
* - Fix build with clang 6Vsevolod Stakhov2018-01-251-0/+19
* - Fix compatibility with c++11Dmitry Marakasov2015-06-262-4/+25
* - Unbreak with clang 3.4 (not bumping revision).Vsevolod Stakhov2014-03-311-0/+20