summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat (follow)
Commit message (Expand)AuthorAgeFilesLines
* academic/cryptominisat: Updated for version 5.6.8....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Alan Aversa2019-03-242-5/+5
* academic/cryptominisat: Fix MD5SUM....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Willy Sudiarto Raharjo2018-12-261-1/+1
* academic/cryptominisat: Updated for version 5.6.6....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Alan Aversa2018-12-222-4/+4
* academic/cryptominisat: Added (SAT solver)....Signed-off-by: David Spencer <idlemoor@slackbuilds.org> Alan Aversa2018-09-144-0/+143