Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-01-12 | academic/cvc4: Fix slack-desc. | B. Watson | |
Signed-off-by: B. Watson <yalhcru@gmail.com> | |||
2019-03-23 | academic/cvc4: Added (Theorem Solver). | Nick Smallbone | |
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |