summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* A Haskell bundle of the Minisat SAT solver, a depend for new dev-haskell/uuag...Sergei Trofimovich2015-08-014-0/+59