Skip to content
Permalink
Browse files

Fix README typo

  • Loading branch information...
Smattr committed Aug 31, 2019
1 parent 09dc303 commit 39e6d252239d63472b2a28a901bd0bcce42237dd
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 39e6d25

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