Release 0.2.4

README.rst

@@ -27,14 +27,14 @@ Getting Started
 ===============
 You can install the latest stable release of pySMT from PyPI:
 
-  $ pip install pysmt
+  # pip install pysmt
 this will additionally install the *pysmt-install* command, that can be used to install the solvers: e.g.,
 
-  $ pysmt-install --msat
+  # pysmt-install --msat
 this will download and install Mathsat 5. You will need to set your PYTHONPATH as suggested by the installer to make the python bindings visible. To verify that a solver has been installed run
 
   $ pysmt-install --check
-*Note* pysmt-install is provided to simplify the installation of solvers. However, each solver has its own license and restriction on use that you need to take into account.
+*Note* pysmt-install is provided to simplify the installation of solvers. However, each solver has its own dependencies, license and restrictions on use that you need to take into account.
 
 
 Supported Theories and Solvers

docs/CHANGES.rst

@@ -1,20 +1,23 @@
 Change Log
 ==========
 
-0.2.4 XXXXXXXX  -- YYYY
------------------------
+0.2.4: 2015-03-15  -- PicoSAT
+-----------------------------
 
 Solvers:
 
-* PicoSAT solver wrapper
+* PicoSAT solver support
 
 General:
 
 * Iterative implementation of FNode.get_free_variables().
   This also deprecates FNode.get_dependencies().
 
+Bugfix:
 
-0.2.3 2015-03-12 -- Logics Refactoring
+* Fixed bug (#48) in pypi package, making pysmt-install (and other commands) unavailable. Thanks to Rhishikesh Limaye for reporting this.
+
+0.2.3: 2015-03-12 -- Logics Refactoring
 --------------------------------------
 
 General:
@@ -43,7 +46,7 @@ General:
 
 
 
-0.2.2 2015-02-07 -- BDDs
+0.2.2: 2015-02-07 -- BDDs
 ------------------------
 
 Solvers:
@@ -56,7 +59,7 @@ General:
   be registered through the environment (see
   Environment.add_dynamic_walker_function).
 
-0.2.1 2014-11-29 -- SMT-LIB
+0.2.1: 2014-11-29 -- SMT-LIB
 ---------------------------
 
 Solvers:
@@ -72,7 +75,7 @@ General:
 * Added configuration file
 
 
-0.2.0 2014-10-02 -- Beta release.
+0.2.0: 2014-10-02 -- Beta release.
 ----------------------------------
 
 Theories: LIRA
@@ -96,7 +99,7 @@ Backwards Incompatible Changes:
   with the Python Standard Library.
 
 
-0.1.0 2014-03-10 -- Alpha release.
+0.1.0: 2014-03-10 -- Alpha release.
 ----------------------------------
 
 Theories: LIA, LRA, RDL, EUF
@@ -108,5 +111,5 @@ General Functionalities:
 * Unified Quantifier Elimination (Z3 support only)
 
 
-0.0.1 2014-02-01 -- Initial release.
+0.0.1: 2014-02-01 -- Initial release.
 ------------------------------------

setup.py

@@ -1,16 +1,12 @@
-#from distutils.core import setup
 from setuptools import setup, find_packages
 
 setup(
     name='PySMT',
-    version='0.2.4.dev',
+    version='0.2.4',
     author='PySMT Team',
     author_email='info@pysmt.org',
     packages = find_packages(),
     include_package_data = True,
-    # packages=['pysmt', 'pysmt.smtlib', 'pysmt.solvers',
-    #           'pysmt.utils', 'pysmt.walkers',
-    #           'pysmt.test', 'pysmt.test.smtlib'],
     url='http://www.pysmt.org',
     license='APACHE',
     description='A library for SMT Formulae manipulation and solving',