aboutsummaryrefslogtreecommitdiff
path: root/math/py-cryptominisat
Commit message (Expand)AuthorAgeFilesLines
* math/{py-}cryptominisat: Update to 4.5.3Kubilay Kocak2016-01-065-27/+52
* math/cryptominisat, math/py-cryptominisat: add new portsJan Beich2015-05-052-0/+43