summaryrefslogtreecommitdiff
path: root/academic/cvc4
Commit message (Expand)AuthorAge
* academic/cvc4: Fix slack-desc.B. Watson2020-01-12
* academic/cvc4: Add missing run-antlr.Willy Sudiarto Raharjo2019-04-27
* academic/cvc4: Updated for version 1.7.Nick Smallbone2019-04-19
* academic/cvc4: Added (Theorem Solver).Nick Smallbone2019-03-23