summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat (follow)
Commit message (Expand)AuthorAgeFilesLines
* academic/cryptominisat: Updated for version 5.11.3....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Alan Aversa2022-10-152-5/+5
* All: Support $PRINT_PACKAGE_NAME env var...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Heinz Wiesinger2021-07-171-1/+10
* All: SlackBuilds run in the directory they are in...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Heinz Wiesinger2021-07-051-1/+2
* All: Change SlackBuild shebang to /bin/bash...Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Heinz Wiesinger2021-07-041-1/+1
* academic/cryptominisat: Updated for version 5.7.1....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Alan Aversa2020-05-102-4/+4
* 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