summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat
AgeCommit message (Expand)Author
2019-03-24academic/cryptominisat: Updated for version 5.6.8. Alan Aversa
2018-12-25academic/cryptominisat: Fix MD5SUM. Willy Sudiarto Raharjo
2018-12-22academic/cryptominisat: Updated for version 5.6.6. Alan Aversa
2018-09-14academic/cryptominisat: Added (SAT solver). Alan Aversa