Update docs with the minimum version for CVC4 (closes #179).

emina · Jan 11, 2021 · bb08ef1 · bb08ef1
1 parent ce02eb4
commit bb08ef1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl
@@ -230,7 +230,7 @@ will send the command @tt{(set-option :smt.relevancy 0)} to Z3 prior to solving.
            [(cvc4? [v any/c]) boolean?])]{
 Returns a @racket[solver?] wrapper for the @hyperlink["http://cvc4.cs.stanford.edu/web/"]{CVC4} solver from NYU and UIowa.
 
-To use this solver, download and install CVC4,
+To use this solver, download and install CVC4 (version 1.8 or later),
 and either add the @tt{cvc4} executable to your @tt{PATH}
 or pass the path to the executable as the optional @racket[path] argument.