From 5d150475b333f78d3e21b1d72185958bb5cff34a Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Thu, 14 Dec 2023 12:38:24 -0800 Subject: [PATCH] fix docs --- .../guide/scribble/datatypes/solvers+solutions.scrbl | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl index a1cca0ff..96d1144d 100644 --- a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl +++ b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl @@ -26,6 +26,10 @@ rosette/solver/smt/z3 rosette/solver/smt/cvc4 rosette/solver/smt/boolector + rosette/solver/smt/bitwuzla + rosette/solver/smt/cvc5 + rosette/solver/smt/stp + rosette/solver/smt/yices #:use-sources (rosette/query/finitize rosette/query/query @@ -33,7 +37,11 @@ rosette/solver/solution rosette/solver/smt/z3 rosette/solver/smt/cvc4 - rosette/solver/smt/boolector)] + rosette/solver/smt/boolector + rosette/solver/smt/bitwuzla + rosette/solver/smt/cvc5 + rosette/solver/smt/stp + rosette/solver/smt/yices)] A @deftech{solver} is an automatic reasoning engine, used to answer @seclink["sec:queries"]{queries} about Rosette programs. The result of