summaryrefslogtreecommitdiff
path: root/academic/cryptominisat
Commit message (Expand)AuthorAge
* All: Support $PRINT_PACKAGE_NAME env varHeinz Wiesinger2021-07-17
* All: SlackBuilds run in the directory they are inHeinz Wiesinger2021-07-05
* All: Change SlackBuild shebang to /bin/bashHeinz Wiesinger2021-07-04
* academic/cryptominisat: Updated for version 5.7.1.Alan Aversa2020-05-10
* academic/cryptominisat: Updated for version 5.6.8.Alan Aversa2019-03-24
* academic/cryptominisat: Fix MD5SUM.Willy Sudiarto Raharjo2018-12-26
* academic/cryptominisat: Updated for version 5.6.6.Alan Aversa2018-12-22
* academic/cryptominisat: Added (SAT solver).Alan Aversa2018-09-14