Merge pull request #8 from pysmt/installers_clean

Created install.py
pysmt · Feb 20, 2015 · a1d3f8a · a1d3f8a
2 parents 458b01a + 0381c73
commit a1d3f8a
Show file tree

Hide file tree

Showing 2 changed files with 444 additions and 0 deletions.
diff --git a/docs/CHANGES.rst b/docs/CHANGES.rst
@@ -1,6 +1,15 @@
 Change Log
 ==========
 
+0.2.3 XXXXXXXXXX -- YYY
+-----------------------
+
+General:
+
+* install.py: script to automate the installation of supported
+  solvers.
+
+
 0.2.2 2015-02-07 -- BDDs
 ------------------------