Permalink
Browse files

Change version to 0.6.1

  • Loading branch information...
marcogario committed Nov 28, 2016
1 parent 5dc214a commit d07af7d7e3ed52fec2e64f097457799b301da815
Showing with 2 additions and 4 deletions.
  1. +1 −1 pysmt/__init__.py
  2. +1 −3 setup.py
View
@@ -16,7 +16,7 @@
# limitations under the License.
#
-VERSION = (0, 6, 1, "dev", 1)
+VERSION = (0, 6, 1)
# PEP440 Format
__version__ = "%d.%d.%d%s%d" % VERSION if len(VERSION) == 5 else \
View
@@ -38,9 +38,7 @@
PySMT assumes that the python bindings for the SMT Solver are installed and
accessible from your PYTHONPATH.
-pySMT works on both Python 2 and Python 3. Some solvers support both
-versions (e.g., MathSAT) but in general, many solvers still support
-only Python 2.
+pySMT works on both Python 3 and Python 2.
Wanna know more?

0 comments on commit d07af7d

Please sign in to comment.