summaryrefslogtreecommitdiff
path: root/academic/cryptominisat/cryptominisat.SlackBuild
Commit message (Expand)AuthorAge
* academic/cryptominisat: Updated for version 5.6.8.Alan Aversa2019-03-24
* academic/cryptominisat: Updated for version 5.6.6.Alan Aversa2018-12-22
* academic/cryptominisat: Added (SAT solver).Alan Aversa2018-09-14