From c4eaceac055345bd5398cf6de963fb2f4ca47c8a Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Thu, 14 Dec 2023 12:06:06 -0800 Subject: [PATCH] Add imports --- rosette/guide/scribble/datatypes/solvers+solutions.scrbl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl index ff39c154..0ba15299 100644 --- a/rosette/guide/scribble/datatypes/solvers+solutions.scrbl +++ b/rosette/guide/scribble/datatypes/solvers+solutions.scrbl @@ -4,6 +4,10 @@ rosette/solver/solver rosette/solver/solution 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 rosette/base/form/define rosette/query/query rosette/base/core/term (only-in rosette/base/base bv?) (only-in rosette/base/base assert)