Skip to content
Permalink
Browse files

Merge pull request #605 from Smattr/2B3043CE-A4A4-48E9-B255-F9F06397CE97

Fix README typo
  • Loading branch information...
mikand committed Sep 3, 2019
2 parents 09dc303 + 39e6d25 commit f9a5f113125046601d0a2c6f5c1c8755c3bea2d1
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.rst
@@ -31,7 +31,7 @@ pySMT makes working with **Satisfiability Modulo Theory** simple:

* Define formulae in a *simple*, *intuitive*, and *solver independent* way
* Solve your formulae using one of the native solvers, or by wrapping
any SMT-Lib complaint solver,
any SMT-Lib compliant solver,
* Dump your problems in the SMT-Lib format,
* and more...

0 comments on commit f9a5f11

Please sign in to comment.
You can’t perform that action at this time.