summaryrefslogtreecommitdiffstats
path: root/academic/cvc4 (follow)
Commit message (Expand)AuthorAgeFilesLines
* academic/cvc4: Add missing run-antlr....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Willy Sudiarto Raharjo2019-04-271-0/+2
* academic/cvc4: Updated for version 1.7....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Nick Smallbone2019-04-192-25/+26
* academic/cvc4: Added (Theorem Solver)....Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> Nick Smallbone2019-03-234-0/+141
generated by cgit v1.2.3-80-g2a13 (git 2.46.2) at 2024-10-09 07:24:21 +0000