PySMT 0.9.7.dev104__tar.gz → 0.9.7.dev108__tar.gz

{PySMT-0.9.7.dev104/PySMT.egg-info → PySMT-0.9.7.dev108}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 1.0
 Name: PySMT
-Version: 0.9.7.dev104
+Version: 0.9.7.dev108
 Summary: A solver-agnostic library for SMT Formulae manipulation and solving
 Home-page: http://www.pysmt.org
 Author: PySMT Team

{PySMT-0.9.7.dev104 → PySMT-0.9.7.dev108/PySMT.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 1.0
 Name: PySMT
-Version: 0.9.7.dev104
+Version: 0.9.7.dev108
 Summary: A solver-agnostic library for SMT Formulae manipulation and solving
 Home-page: http://www.pysmt.org
 Author: PySMT Team

{PySMT-0.9.7.dev104 → PySMT-0.9.7.dev108}/docs/CHANGES.rst

@@ -27,7 +27,8 @@ Change Log
 * [Boolector] Add support for const arrays and boolean indices/elements by @nbailluet in https://github.com/pysmt/pysmt/pull/771
 * Update of all solvers  by @mikand in https://github.com/pysmt/pysmt/pull/761
 
-## New Contributors
+**New Contributors**
+
 * @jayvdb made their first contribution in https://github.com/pysmt/pysmt/pull/724
 * @akumm2k made their first contribution in https://github.com/pysmt/pysmt/pull/734
 * @YikeZhou made their first contribution in https://github.com/pysmt/pysmt/pull/748

{PySMT-0.9.7.dev104 → PySMT-0.9.7.dev108}/pysmt/__init__.py

@@ -16,7 +16,7 @@
 #   limitations under the License.
 #
 
-VERSION = (0, 9, 7, "dev", 104)
+VERSION = (0, 9, 7, "dev", 108)
 
 # Try to provide human-readable version of latest commit for dev versions
 # E.g. v0.5.1-4-g49a49f2-wip

{PySMT-0.9.7.dev104 → PySMT-0.9.7.dev108}/pysmt/smtlib/printers.py

@@ -143,7 +143,7 @@ class SmtPrinter(TreeWalker):
         (n,d) = abs(formula.constant_value().numerator), \
                     formula.constant_value().denominator
         if d != 1:
-            res = template % ( "(/ " + str(n) + " " + str(d) + ")" )
+            res = template % ( "(/ " + str(n) + ".0 " + str(d) + ".0)" )
         else:
             res = template % (str(n) + ".0")
 
@@ -521,7 +521,7 @@ class SmtDagPrinter(DagWalker):
         (n,d) = abs(formula.constant_value().numerator), \
                     formula.constant_value().denominator
         if d != 1:
-            return template % ( "(/ " + str(n) + " " + str(d) + ")" )
+            return template % ( "(/ " + str(n) + ".0 " + str(d) + ".0)" )
         else:
             return template % (str(n) + ".0")
 

{PySMT-0.9.7.dev104 → PySMT-0.9.7.dev108}/pysmt/test/test_printing.py

@@ -98,9 +98,9 @@ class TestPrinting(TestCase):
         self.assertEqual(b1.to_smtlib(daggify=True), "true")
         self.assertEqual(b2.to_smtlib(daggify=True), "false")
 
-        self.assertEqual(r1.to_smtlib(daggify=True), "(/ 11 2)")
+        self.assertEqual(r1.to_smtlib(daggify=True), "(/ 11.0 2.0)")
         self.assertEqual(r2.to_smtlib(daggify=True), "5.0")
-        self.assertEqual(r3.to_smtlib(daggify=True), "(- (/ 11 2))")
+        self.assertEqual(r3.to_smtlib(daggify=True), "(- (/ 11.0 2.0))")
 
         self.assertEqual(i1.to_smtlib(daggify=True), "4")
         self.assertEqual(i2.to_smtlib(daggify=True), "(- 4)")
@@ -108,9 +108,9 @@ class TestPrinting(TestCase):
         self.assertEqual(b1.to_smtlib(daggify=False), "true")
         self.assertEqual(b2.to_smtlib(daggify=False), "false")
 
-        self.assertEqual(r1.to_smtlib(daggify=False), "(/ 11 2)")
+        self.assertEqual(r1.to_smtlib(daggify=False), "(/ 11.0 2.0)")
         self.assertEqual(r2.to_smtlib(daggify=False), "5.0")
-        self.assertEqual(r3.to_smtlib(daggify=False), "(- (/ 11 2))")
+        self.assertEqual(r3.to_smtlib(daggify=False), "(- (/ 11.0 2.0))")
 
         self.assertEqual(i1.to_smtlib(daggify=False), "4")
         self.assertEqual(i2.to_smtlib(daggify=False), "(- 4)")