diff options
author | Nick Smallbone <nick@smallbone.se> | 2020-09-04 03:58:10 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-09-05 08:26:44 +0700 |
commit | 3d9cd787ede47bea334c6133d786e7245f0086af (patch) | |
tree | b533b4b388ae14092ea897665ca1ee0315d08842 /academic/cvc4/README | |
parent | fed4d5c0254a4c51051696a840893cdb1df7f552 (diff) | |
download | slackbuilds-3d9cd787ede47bea334c6133d786e7245f0086af.tar.gz |
academic/cvc4: Updated for version 1.8.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4/README')
-rw-r--r-- | academic/cvc4/README | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/academic/cvc4/README b/academic/cvc4/README index 830c7394fb..ed00fa62b8 100644 --- a/academic/cvc4/README +++ b/academic/cvc4/README @@ -4,4 +4,8 @@ either prove the formula or find a counterexample. CVC4 supports arithmetic, reasoning about arrays, and several other built-in theories. Input problems are written in SMT-LIB format. -This package includes the cvc4 program as well as libraries. +This package includes the cvc4 program, libraries, and Python 2 +bindings. + +Note that this SlackBuild builds CVC4 with readline support, which means +the resulting executable is licensed under the GPLv3. |