summaryrefslogtreecommitdiff
path: root/academic/cvc4/cvc4.info
Commit message (Expand)AuthorAge
* academic/cvc4: Updated for version 1.8.Nick Smallbone2020-09-05
* academic/cvc4: Updated for version 1.7.Nick Smallbone2019-04-19
* academic/cvc4: Added (Theorem Solver).Nick Smallbone2019-03-23