diff options
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. |