summaryrefslogtreecommitdiff
path: root/academic/cryptominisat/slack-desc
Commit message (Expand)AuthorAge
* academic/cryptominisat: Added (SAT solver).Alan Aversa2018-09-14