diff --git a/tutorials/beginners/introduction.html b/tutorials/beginners/introduction.html index 3236887..7ce3884 100644 --- a/tutorials/beginners/introduction.html +++ b/tutorials/beginners/introduction.html @@ -102,8 +102,7 @@ problems are suitable for SMT solvers, describe the capabilities of modern solvers, and provide guidance on how to encode problems as SMT queries.

Throughout the tutorial, we provide examples and exercises to illustrate the -concepts being explained. Unless otherwise stated, the exercises can be com- -pleted using either the cvc5 [R3] or the z3 SMT solver [R32], through either +concepts being explained. Unless otherwise stated, the exercises can be completed using either the cvc5 [R3] or the z3 SMT solver [R32], through either their Python interface or their textual interface based on the SMT-LIB 2 format [R8]. The cvc5 website at cvc5.github.io contains documentation that can be used as a reference to supplement the material in