update readme: add list of solvers
@@ -32,6 +32,12 @@ JavaSMT can express formulas in the following theories:
- Array
- Uninterpreted Function
+Currently JavaSMT support several SMT solvers (see [Getting Started](doc/Getting-started.md) for installation):
+ - [MathSAT5](http://mathsat.fbk.eu/)
+ - [SMTInterpol](https://ultimate.informatik.uni-freiburg.de/smtinterpol/)
+ - [Princess](http://www.philipp.ruemmer.org/princess.shtml)
+ - [Z3](https://github.com/Z3Prover/z3)
+
The following features are supported:
- Satisfiability checking
