PySMT 0.9.7.dev487__py2.py3-none-any.whl → 0.9.7.dev489__py2.py3-none-any.whl

pysmt/__init__.py

@@ -19,7 +19,7 @@
 from typing import Tuple, Union
 
 
-VERSION: Union[Tuple[int, int, int], Tuple[int, int, int, str, int]] = (0, 9, 7, "dev", 487)
+VERSION: Union[Tuple[int, int, int], Tuple[int, int, int, str, int]] = (0, 9, 7, "dev", 489)
 
 # Try to provide human-readable version of latest commit for dev versions
 # E.g. v0.5.1-4-g49a49f2-wip

pysmt/cmd/install.py

@@ -41,8 +41,8 @@ INSTALLERS = [
     Installer(BtorInstaller,    "3.2.3", {}),
     Installer(PicoSATInstaller, "965",
               {"pypicosat_minor_version" : "1708010052"}),
-    Installer(CuddInstaller,    "2.0.3",
-              {"git_version" : "0dabef26859b15710fd92e68e4eb6cf922a09de9"}),
+    Installer(CuddInstaller,    "3.0.1",
+              {"git_version" : "b87421c596a1bc2cafeb10ec40fcceacc952eda2"}),
     Installer(OptiMSatInstaller, "1.7.5", {})
 ]
 

pysmt/cmd/installers/bdd.py

@@ -11,8 +11,6 @@
 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 # See the License for the specific language governing permissions and
 # limitations under the License.
-import os
-
 from pysmt.cmd.installers.base import SolverInstaller
 
 
@@ -34,22 +32,11 @@ class CuddInstaller(SolverInstaller):
 
 
     def compile(self):
-        # Select the correct Makefile to be used
-        makefile = "Makefile"
-        if self.architecture == "x86_64":
-            makefile = "Makefile_64bit"
-
-        import sysconfig
-        PYTHON_INCLUDE_DIR = sysconfig.get_path("include")
-        SolverInstaller.run(["make", "-C", self.extract_path, "-f", makefile,
-                             "PYTHON_INCL=-I%s" % PYTHON_INCLUDE_DIR])
-
-
-    def move(self):
-        SolverInstaller.mv(os.path.join(self.extract_path, "repycudd.py"),
-                           self.bindings_dir)
-        SolverInstaller.mv(os.path.join(self.extract_path, "_repycudd.so"),
-                           self.bindings_dir)
+        # repycudd's own build fetches SWIG from PyPI and compiles CUDD into
+        # the extension, so this is the same on every OS.
+        SolverInstaller.run_python(["-m", "pip", "install", "--no-deps",
+                                    "--upgrade", "--target", self.bindings_dir,
+                                    self.extract_path])
 
 
     def get_installed_version(self):

{pysmt-0.9.7.dev487.dist-info → pysmt-0.9.7.dev489.dist-info}/METADATA

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

{pysmt-0.9.7.dev487.dist-info → pysmt-0.9.7.dev489.dist-info}/RECORD

@@ -1,4 +1,4 @@
-pysmt/__init__.py,sha256=s8hAfy84GGJ9baxeMVgXEMlSq1pYibj1849Xa3O5Y2c,1701
+pysmt/__init__.py,sha256=5bkWQvoNDZsOlGJZABNYsf-aLMybC2XXRHF8FQ3MxlM,1701
 pysmt/__main__.py,sha256=rR-MV1QtLYqtVoJyY3m5B5Iz-lua0-5o6YSB0W4lKy8,1085
 pysmt/configuration.py,sha256=Iq_46QZ9z_jpBMk76euJWTqGEwHad2qyiEDPix5sXsA,4538
 pysmt/constants.py,sha256=pulb6NvROY_X8BePeyyX8T9MJLB79HZ_1FUYSlZ7Jfg,5769
@@ -22,11 +22,11 @@ pysmt/typing.py,sha256=aI8ZKEin4J2XLAHsY5fW1Pt4hZvlBlArxM4nrrmBas4,19550
 pysmt/utils.py,sha256=_dSgl45k-u9cMXSyR672GBJcKMKdtl6xSTjqXKTSfcs,2906
 pysmt/cmd/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 pysmt/cmd/check_version.py,sha256=DCS6pHVuQm9J_vfSSDDGxtvrV6P1mEhQK-IUjacDh3s,2895
-pysmt/cmd/install.py,sha256=-PT8N0nbl9fkd0LLQ1LMdHy1szzsGVimGdmuogH3xcc,10467
+pysmt/cmd/install.py,sha256=kV6Dsn4mZfmo17iPr-cmXNTCDzseG8dXWfaawkAj6lg,10467
 pysmt/cmd/shell.py,sha256=1H5NJ9St879-U3EDizq_5l34vKPUJr-wi3MyBy164Sc,6594
 pysmt/cmd/installers/__init__.py,sha256=fEAD4FUh0Hjv7u-o9dc5nYMjzPUAzR8bWo8DSgUQjq4,1438
 pysmt/cmd/installers/base.py,sha256=CKs_qq64_TE0a244L4TjWGTau9MQqfuzn2IMO1XXAe8,13168
-pysmt/cmd/installers/bdd.py,sha256=ohk26CcuPlW4wwJCtPMURRpwYbvg6s-F_qjcGzgCTjI,2194
+pysmt/cmd/installers/bdd.py,sha256=99NWkS4_Kb2JNiT-Cu-4kz2JTonRkVeCB-fSAaYEp00,1867
 pysmt/cmd/installers/btor.py,sha256=wHTyJzUVEmvSCjmZqjftRtQGeOxKc4S2AuJqdWEwfX4,4999
 pysmt/cmd/installers/cvcfive.py,sha256=k2zJGIlFDrx_9yeqKfdHph6HTmTr3OxYjUpqTy_44yA,1472
 pysmt/cmd/installers/cvcfour.py,sha256=uBZkKIX4gZEMfjrhrparUSDydMcvGIGZM2Y8JYD0GzE,3916
@@ -145,10 +145,10 @@ pysmt/walkers/dag.py,sha256=hw9qUfadQTpihX685YQobfxKv9XA84ffiA8XRMUQEfU,5694
 pysmt/walkers/generic.py,sha256=2oMr_MDr7FswSlyx2ulbJ9ke5FsTCKABURnCsMeg4fc,5093
 pysmt/walkers/identitydag.py,sha256=EAxSneEW91Z8GphlkbMPsPdlac7_FDcVj-_6_aunU2s,10902
 pysmt/walkers/tree.py,sha256=1vquhaChRMSG_pvbz16wqKOFnsQAkzLvjh_xbB3dg5c,2730
-pysmt-0.9.7.dev487.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
-pysmt-0.9.7.dev487.dist-info/licenses/NOTICE,sha256=Ns-Jsa6nbqZUiTEEAM6HqioSZIxQ2RCJzxoBlWQaUfc,601
-pysmt-0.9.7.dev487.dist-info/METADATA,sha256=xuNOAUIywAUwnj4-gFdr_fyGNTcsasx8yM5dwXTwwqo,1823
-pysmt-0.9.7.dev487.dist-info/WHEEL,sha256=4YBfCYNH4wlLpv3pzq1hbEuIlXA4WJabKLFurZ7eTL0,109
-pysmt-0.9.7.dev487.dist-info/entry_points.txt,sha256=gDc1XM0xTJJMDGC_nXd0kfbX-Omjke9Dn9F3awMLYIU,57
-pysmt-0.9.7.dev487.dist-info/top_level.txt,sha256=NwHQbpTaZMEvjIUdC0bvvj-WUyULe-nt-opK3YQNRMk,6
-pysmt-0.9.7.dev487.dist-info/RECORD,,
+pysmt-0.9.7.dev489.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
+pysmt-0.9.7.dev489.dist-info/licenses/NOTICE,sha256=Ns-Jsa6nbqZUiTEEAM6HqioSZIxQ2RCJzxoBlWQaUfc,601
+pysmt-0.9.7.dev489.dist-info/METADATA,sha256=bf2QML6n9GZtd1mZvinmKFJTSZTj1fH9wmxG7dOa6Cw,1823
+pysmt-0.9.7.dev489.dist-info/WHEEL,sha256=4YBfCYNH4wlLpv3pzq1hbEuIlXA4WJabKLFurZ7eTL0,109
+pysmt-0.9.7.dev489.dist-info/entry_points.txt,sha256=gDc1XM0xTJJMDGC_nXd0kfbX-Omjke9Dn9F3awMLYIU,57
+pysmt-0.9.7.dev489.dist-info/top_level.txt,sha256=NwHQbpTaZMEvjIUdC0bvvj-WUyULe-nt-opK3YQNRMk,6
+pysmt-0.9.7.dev489.dist-info/RECORD,,