summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat/cryptominisat.SlackBuild
Commit message (Expand)AuthorAgeFilesLines
* academic/cryptominisat: Added (SAT solver). Alan Aversa2018-09-141-0/+104
generated by cgit v1.2.3 (git 2.26.2) at 2024-06-01 04:45:27 +0000