From bb08ef1a1bdc7232bbc857985aedba116fcecf47 Mon Sep 17 00:00:00 2001 From: Emina Torlak Date: Mon, 11 Jan 2021 10:06:57 -0800 Subject: [PATCH] Update docs with the minimum version for CVC4 (closes #179). --- rosette/guide/scribble/datatypes/solvers+solutions.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl index 0eb3a869..2f19bdee 100644 --- 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.