aboutsummaryrefslogtreecommitdiff
path: root/academic/cvc4/README
diff options
context:
space:
mode:
Diffstat (limited to 'academic/cvc4/README')
-rw-r--r--academic/cvc4/README6
1 files changed, 5 insertions, 1 deletions
diff --git a/academic/cvc4/README b/academic/cvc4/README
index 830c7394fbd80..ed00fa62b8bc1 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.