aboutsummaryrefslogtreecommitdiff
path: root/math/cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-067-35/+40
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-056-0/+58