PySMT 0.7.5__tar.gz → 0.9.1.dev161__tar.gz

opt/hostedtoolcache/Python/3.8.12/x64/bin/pysmt-install

@@ -0,0 +1,33 @@
+#!/opt/hostedtoolcache/Python/3.8.12/x64/bin/python
+# EASY-INSTALL-ENTRY-SCRIPT: 'PySMT==0.9.1.dev161','console_scripts','pysmt-install'
+import re
+import sys
+
+# for compatibility with easy_install; see #2198
+__requires__ = 'PySMT==0.9.1.dev161'
+
+try:
+    from importlib.metadata import distribution
+except ImportError:
+    try:
+        from importlib_metadata import distribution
+    except ImportError:
+        from pkg_resources import load_entry_point
+
+
+def importlib_load_entry_point(spec, group, name):
+    dist_name, _, _ = spec.partition('==')
+    matches = (
+        entry_point
+        for entry_point in distribution(dist_name).entry_points
+        if entry_point.group == group and entry_point.name == name
+    )
+    return next(matches).load()
+
+
+globals().setdefault('load_entry_point', importlib_load_entry_point)
+
+
+if __name__ == '__main__':
+    sys.argv[0] = re.sub(r'(-script\.pyw?|\.exe)?$', '', sys.argv[0])
+    sys.exit(load_entry_point('PySMT==0.9.1.dev161', 'console_scripts', 'pysmt-install')())

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages/PySMT-0.9.1.dev161-py3.8.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 1.0
 Name: PySMT
-Version: 0.7.5
+Version: 0.9.1.dev161
 Summary: A solver-agnostic library for SMT Formulae manipulation and solving
 Home-page: http://www.pysmt.org
 Author: PySMT Team
@@ -41,8 +41,6 @@ Description: ============================================================
         PySMT assumes that the python bindings for the SMT Solver are installed and
         accessible from your PYTHONPATH.
         
-        pySMT works on both Python 3 and Python 2.
-        
         
         Wanna know more?
         ================

{PySMT-0.7.5/PySMT.egg-info → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages/PySMT-0.9.1.dev161-py3.8.egg-info}/SOURCES.txt

@@ -1,12 +1,12 @@
 LICENSE
 MANIFEST.in
+NOTICE
 README.rst
 setup.py
 PySMT.egg-info/PKG-INFO
 PySMT.egg-info/SOURCES.txt
 PySMT.egg-info/dependency_links.txt
 PySMT.egg-info/entry_points.txt
-PySMT.egg-info/requires.txt
 PySMT.egg-info/top_level.txt
 docs/CHANGES.rst
 docs/api_ref.rst
@@ -14,7 +14,9 @@ docs/development.rst
 docs/getting_started.rst
 docs/index.rst
 docs/tutorials.rst
+docs/tutorials/boolean_logic.rst
 pysmt/__init__.py
+pysmt/__main__.py
 pysmt/configuration.py
 pysmt/constants.py
 pysmt/decorators.py
@@ -44,7 +46,6 @@ pysmt/cmd/installers/base.py
 pysmt/cmd/installers/bdd.py
 pysmt/cmd/installers/btor.py
 pysmt/cmd/installers/cvc4.py
-pysmt/cmd/installers/cvc4gpl.py
 pysmt/cmd/installers/msat.py
 pysmt/cmd/installers/pico.py
 pysmt/cmd/installers/yices.py
@@ -55,6 +56,7 @@ pysmt/smtlib/commands.py
 pysmt/smtlib/printers.py
 pysmt/smtlib/script.py
 pysmt/smtlib/solver.py
+pysmt/smtlib/utils.py
 pysmt/smtlib/parser/__init__.py
 pysmt/smtlib/parser/parser.py
 pysmt/solvers/__init__.py
@@ -96,6 +98,7 @@ pysmt/test/test_lira.py
 pysmt/test/test_logics.py
 pysmt/test/test_models.py
 pysmt/test/test_native_qe.py
+pysmt/test/test_nia.py
 pysmt/test/test_nlira.py
 pysmt/test/test_oracles.py
 pysmt/test/test_portfolio.py
@@ -119,6 +122,7 @@ pysmt/test/smtlib/test_annotations.py
 pysmt/test/smtlib/test_fuzzed.py
 pysmt/test/smtlib/test_generic_wrapper.py
 pysmt/test/smtlib/test_griggio.py
+pysmt/test/smtlib/test_model_validation.py
 pysmt/test/smtlib/test_parser_examples.py
 pysmt/test/smtlib/test_parser_extensibility.py
 pysmt/test/smtlib/test_parser_lra.py
@@ -128,6 +132,7 @@ pysmt/test/smtlib/test_parser_qf_lira.py
 pysmt/test/smtlib/test_parser_qf_lra.py
 pysmt/test/smtlib/test_parser_qf_nia.py
 pysmt/test/smtlib/test_parser_qf_nra.py
+pysmt/test/smtlib/test_parser_qf_uf.py
 pysmt/test/smtlib/test_parser_qf_ufbv.py
 pysmt/test/smtlib/test_parser_type_error.py
 pysmt/test/smtlib/test_smtlibscript.py

opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages/PySMT-0.9.1.dev161-py3.8.egg-info/entry_points.txt

@@ -0,0 +1,3 @@
+[console_scripts]
+pysmt-install = pysmt.cmd.install:main
+

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/__init__.py

@@ -16,30 +16,27 @@
 #   limitations under the License.
 #
 
-VERSION = (0, 7, 5)
+VERSION = (0, 9, 1, "dev", 161)
 
-# PEP440 Format
-__version__ = "%d.%d.%d%s%d" % VERSION if len(VERSION) == 5 else \
-              "%d.%d.%d" % VERSION
-
-
-def git_version():
-    """Human-readable version of latest commit.
-
-    E.g. v0.5.1-4-g49a49f2-wip
-         * 4 commits after tag v0.5.1
-         * Latest commit "49a49f2"
-         * -wip: Working tree is dirty (non committed stuff)
-    See: https://git-scm.com/docs/git-describe
-
-    If the command fails we return __version__
-    """
+# Try to provide human-readable version of latest commit for dev versions
+# E.g. v0.5.1-4-g49a49f2-wip
+#      * 4 commits after tag v0.5.1
+#      * Latest commit "49a49f2"
+#      * -wip: Working tree is dirty (non committed stuff)
+# See: https://git-scm.com/docs/git-describe
+if len(VERSION) == 5:
+    import subprocess
     try:
-        import subprocess
-        git_version = subprocess.check_output(["git", "describe", "--dirty=-wip"],
+        git_version = subprocess.check_output(["git", "describe",
+                                               "--dirty=-wip"],
                                               stderr=subprocess.STDOUT)
-        return git_version.strip().decode('ascii')
-    except subprocess.CalledProcessError:
-        return __version__ # pragma: no cover
-    except OSError:
-        return __version__ # pragma: no cover
+        commits_from_tag = git_version.strip().decode('ascii')
+        commits_from_tag = commits_from_tag.split("-")[1]
+        commits_from_tag = int(commits_from_tag)
+        VERSION = VERSION[:4] + (commits_from_tag,)
+    except Exception as ex:
+        pass
+
+# PEP440 Format
+__version__ = "%d.%d.%d.%s%d" % VERSION if len(VERSION) == 5 else \
+              "%d.%d.%d" % VERSION

opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages/pysmt/__main__.py

@@ -0,0 +1,35 @@
+#
+# This file is part of pySMT.
+#
+#   Copyright 2014 Andrea Micheli and Marco Gario
+#
+#   Licensed under the Apache License, Version 2.0 (the "License");
+#   you may not use this file except in compliance with the License.
+#   You may obtain a copy of the License at
+#
+#       http://www.apache.org/licenses/LICENSE-2.0
+#
+#   Unless required by applicable law or agreed to in writing, software
+#   distributed under the License is distributed on an "AS IS" BASIS,
+#   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.
+#
+
+def error():
+    print("Invalid option try 'install' or 'shell'")
+    exit(-1)
+
+if __name__ == "__main__":
+    import sys
+
+    cmd = error
+    if len(sys.argv) >= 2:
+        sys.argv = sys.argv[1:]
+        if sys.argv[0] == 'install':
+            import pysmt.cmd.install
+            cmd = pysmt.cmd.install.main
+        elif sys.argv[0] == 'shell':
+            import pysmt.cmd.shell
+            cmd = pysmt.cmd.shell.main
+    cmd()

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/cmd/check_version.py

@@ -38,7 +38,7 @@ def check_version(module):
                 version = m.group(1)
 
         elif module == "btor":
-            import boolector
+            import pyboolector
             version = "OK" # Just checking if import succeeds
 
         elif module == "cvc4":

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/cmd/install.py

@@ -12,8 +12,6 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-from six.moves import input
-
 import os
 import argparse
 import sys
@@ -24,20 +22,29 @@ from collections import namedtuple
 from pysmt.cmd.installers import MSatInstaller, Z3Installer, PicoSATInstaller
 from pysmt.cmd.installers import CVC4Installer, YicesInstaller, BtorInstaller
 from pysmt.cmd.installers import CuddInstaller
+from pysmt.cmd.installers.base import solver_install_site
 
 from pysmt.environment import get_env
 from pysmt.exceptions import PysmtException
-from pysmt import git_version
+from pysmt import __version__ as pysmt_version
 
 # Build a list of installers, one for each solver
-Installer = namedtuple("Installer", ["InstallerClass", "version", "extra_params"])
-INSTALLERS = [Installer(MSatInstaller,    "5.5.1", {}),
-              Installer(CVC4Installer,    "1.5", {"git_version" : "05663e0d338c2bab30b5f19820de01788ec2b276"}),
-              Installer(Z3Installer,      "4.6.0", {"osx": "10.11.6"}),
-              Installer(YicesInstaller,   "2.5.2", {"yicespy_version": "f0768ffeec15ea310f830d10878971c9998454ac"}),
-              Installer(BtorInstaller,    "2.4.1", {"lingeling_version": "bbc"}),
-              Installer(PicoSATInstaller, "965", {"pypicosat_minor_version" : "1708010052"}),
-              Installer(CuddInstaller,    "2.0.3", {"git_version" : "75fe055c2a736a3ac3e971c1ade108b815edc96c"})]
+Installer = namedtuple("Installer",
+                       ["InstallerClass", "version", "extra_params"])
+INSTALLERS = [
+    Installer(MSatInstaller,    "5.6.1", {}),
+    Installer(CVC4Installer,    "1.7-prerelease",
+              {"git_version" : "391ab9df6c3fd9a3771864900c1718534c1e4666"}),
+    Installer(Z3Installer,      "4.8.7", {"osx": "10.14.6"}),
+    Installer(YicesInstaller,   "2.6.2",
+              {"yicespy_version": "f0768ffeec15ea310f830d10878971c9998454ac"}),
+    Installer(BtorInstaller,    "3.2.1", {}),
+    Installer(PicoSATInstaller, "965",
+              {"pypicosat_minor_version" : "1708010052"}),
+    Installer(CuddInstaller,    "2.0.3",
+              {"git_version" : "ecb03d6d231273343178f566cc4d7258dcce52b4"}),
+]
+
 
 
 def get_requested_solvers():
@@ -108,7 +115,7 @@ def parse_options():
                                      ' variable PYSMT_SOLVER if not already '
                                      'instaled on the system.')
     parser.add_argument('--version', action='version',
-                        version='%(prog)s {version}'.format(version=git_version()))
+                        version='%(prog)s {version}'.format(version=pysmt_version))
 
     for i in INSTALLERS:
         name = i.InstallerClass.SOLVER
@@ -137,19 +144,20 @@ def parse_options():
 
     parser.add_argument('--confirm-agreement', dest='skip_intro',
                         action='store_true', default=False,
-                        help='Confirm that you agree with the licenses of the\
-                        solvers and skip the interactive question')
+                        help='Confirm that you agree with the licenses of the'
+                             ' solvers and skip the interactive question')
 
     install_path_default = os.path.join("~", ".smt_solvers")
     parser.add_argument('--install-path', dest='install_path',
                         type=str, default=install_path_default,
-                        help='The folder to use for the installation')
+                        help='The folder to use for the installation'
+                             ' (defaults to: {!r})'.format(install_path_default))
 
-    py_bindings = os.path.join(install_path_default,
-                               "python-bindings-%d.%d" % sys.version_info[0:2])
+    py_bindings = solver_install_site(plat_specific=True)
     parser.add_argument('--bindings-path', dest='bindings_path',
                         type=str, default=py_bindings,
-                        help='The folder to use for the bindings')
+                        help='The folder to use for the bindings (defaults to the'
+                             ' relevant site-packages directory: {!r})'.format(py_bindings))
 
     options = parser.parse_args()
     return options
@@ -185,14 +193,14 @@ def main():
         mirror_url += "/{archive_name}"
 
     # This should work on any platform
-    install_dir= os.path.expanduser(options.install_path)
+    install_dir = os.path.expanduser(options.install_path)
     if not os.path.exists(install_dir):
-        os.mkdir(install_dir)
+        os.makedirs(install_dir)
 
     # This should work on any platform
-    bindings_dir= os.path.expanduser(options.bindings_path)
+    bindings_dir = os.path.expanduser(options.bindings_path)
     if not os.path.exists(bindings_dir):
-        os.mkdir(bindings_dir)
+        os.makedirs(bindings_dir)
 
     solvers_to_install = []
     all_solvers = options.all_solvers
@@ -225,13 +233,11 @@ def main():
         if platform.system().lower() == "windows":
             if options.powershell:
                 print('$env:PythonPath += ";%s"' % bindings_dir)
-                print('$env:Path += ";%s"' % bindings_dir)
             else:
                 print("set PYTHONPATH=" + bindings_dir + ";%PYTHONPATH%")
-                print("set PATH=" + bindings_dir + ";%PATH%")
         else:
             print("export PYTHONPATH=\"" + bindings_dir + ":${PYTHONPATH}\"")
-            print("export LD_LIBRARY_PATH=\"" + bindings_dir + ":${LD_LIBRARY_PATH}\"")
+
 
     else:
         if len(solvers_to_install) == 0:
@@ -249,7 +255,3 @@ def main():
                                          mirror_link=mirror_url,
                                          **i.extra_params)
             installer.install(force_redo=options.force_redo)
-
-
-if __name__ == "__main__":
-    main()

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/cmd/installers/base.py

@@ -17,16 +17,15 @@ import sys
 import shutil
 import zipfile
 import tarfile
-import six
 import struct
 import subprocess
+import urllib.request
 
 from contextlib import contextmanager
 from distutils import spawn
+from distutils.dist import Distribution
 
-import six.moves
-from six.moves import xrange
-from six.moves.urllib.error import HTTPError, URLError
+from urllib.error import HTTPError, URLError
 
 
 @contextmanager
@@ -101,7 +100,7 @@ class SolverInstaller(object):
     def download(self):
         """Downloads the archive from one of the mirrors"""
         if not os.path.exists(self.archive_path):
-            for turn in xrange(self.trials_404):
+            for turn in range(self.trials_404):
                 for i, link in enumerate(self.download_links()):
                     try:
                         return self.do_download(link, self.archive_path)
@@ -109,10 +108,11 @@ class SolverInstaller(object):
                         if e.code != 404:
                             raise
                         print("HTTP 404 while trying to get the archive using link" \
-                              " #%d (trial %d/%d)" % (i, turn+1, self.trials_404))
+                              " '%s' (trial %d/%d)" % (link, turn+1, self.trials_404))
                     except URLError as e:
                         print("Error while trying to get the archive using link" \
-                              " #%d (trial %d/%d)" % (i, turn+1, self.trials_404))
+                              " '%s' (trial %d/%d)" % (link, turn+1, self.trials_404))
+                        raise e
 
     def unpack(self):
         """Unpacks the archive"""
@@ -161,7 +161,7 @@ class SolverInstaller(object):
     @staticmethod
     def do_download(url, file_name):
         """Downloads the given url into the given file name"""
-        u = six.moves.urllib.request.urlopen(url)
+        u = urllib.request.urlopen(url)
         f = open(file_name, 'wb')
         meta = u.info()
         if meta.get("Content-Length") and len(meta.get("Content-Length")) > 0:
@@ -203,18 +203,33 @@ class SolverInstaller(object):
                                    get_output=get_output)
 
     @staticmethod
-    def run(program, directory=None, env_variables=None, get_output=False):
+    def run(program, directory=None, env_variables=None, get_output=False,
+            suppress_stderr=False):
         """Executes an arbitrary program"""
         environment = os.environ.copy()
         if env_variables is not None:
-            for k,v in six.iteritems(env_variables):
+            for k,v in env_variables.items():
                 environment[k] = v
 
+        stderr = None
+        if suppress_stderr:
+            stderr = open(os.devnull, 'w')
+        if isinstance(program, str):
+            program = program.split()
         if get_output:
-            output = subprocess.check_output(program.split(), env=environment, cwd=directory)
+            output = subprocess.check_output(program,
+                                             env=environment,
+                                             cwd=directory,
+                                             stderr=stderr)
+            if suppress_stderr:
+                stderr.close()
             return output.decode("ascii")
         else:
-            subprocess.check_call(program.split(), env=environment, cwd=directory)
+            subprocess.check_call(program, env=environment,
+                                  cwd=directory, stderr=stderr)
+            if suppress_stderr:
+                stderr.close()
+
 
     @staticmethod
     def clean_dir(path):
@@ -293,3 +308,70 @@ class SolverInstaller(object):
             if command is not None:
                 break
         return command
+
+
+def package_install_site(name='', user=False, plat_specific=False):
+    """pip-inspired, distutils-based method for fetching the
+    default install location (site-packages path).
+
+    Returns virtual environment or system site-packages, unless
+    `user=True` in which case returns user-site (typ. under `~/.local/
+    on linux).
+
+    If there's a distinction (on a particular system) between platform
+    specific and pure python package locations, set `plat_specific=True`
+    to retrieve the former.
+    """
+
+    dist = Distribution({'name': name})
+    dist.parse_config_files()
+    inst = dist.get_command_obj('install', create=True)
+    # NOTE: specifying user=True will create user-site
+    if user:
+        inst.user = user
+        inst.prefix = ""
+    inst.finalize_options()
+
+    # platform-specific site vs. purelib (platform-independent) site
+    if plat_specific:
+        loc = inst.install_platlib
+    else:
+        loc = inst.install_purelib
+
+    # install_lib specified in setup.cfg has highest precedence
+    if 'install_lib' in dist.get_option_dict('install'):
+        loc = inst.install_lib
+
+    return loc
+
+
+def running_under_virtualenv():
+    """
+    Return True if we're running inside a virtualenv, False otherwise.
+
+    Note: copied from pip.
+    """
+
+    if hasattr(sys, 'real_prefix'):
+        return True
+    elif sys.prefix != getattr(sys, "base_prefix", sys.prefix):
+        return True
+
+    return False
+
+
+def solver_install_site(plat_specific=False):
+    """Determine solver's install site similarly to pip behaviour on Debian."""
+
+    # install to local user-site, unless in virtualenv or running as root
+    default_user = True
+    if running_under_virtualenv():
+        default_user = False
+    try:
+        if os.geteuid() == 0:
+            default_user = False
+    except:
+        # getuid/geteuid not supported on windows
+        pass
+
+    return package_install_site(user=default_user, plat_specific=plat_specific)

{PySMT-0.7.5 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/cmd/installers/bdd.py

@@ -12,9 +12,6 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 import os
-import subprocess
-
-from six import PY2
 
 from pysmt.cmd.installers.base import SolverInstaller
 
@@ -42,28 +39,16 @@ class CuddInstaller(SolverInstaller):
         if self.architecture == "x86_64":
             makefile = "Makefile_64bit"
 
-        # Find python-config
-        command = self.find_python_config()
-        if command is None:
-            raise OSError("No installation of python-config found on this system."
-                          " Please install python-config for this version of python.")
-        print("Found python-config in %s" % command)
-
-        # Build the pycudd
-        prefix = None
-        p = subprocess.Popen([command, '--includes'], stdout=subprocess.PIPE, stderr=None)
-        prefix = p.stdout.read()
-        if PY2:
-            pass # Prefix is already a string
-        else:
-            # > PY3 Prefix is binary data
-            prefix = prefix.decode()
-
-        if not prefix or len(prefix) == 0:
-            prefix = "/usr"
+        swig = "swig"
+        swig_version = SolverInstaller.run("swig -version", get_output=True)
+        if '4.0.1' in swig_version or '4.0.0' in swig_version:
+            print("WARNING: the BDD solver does not work with Swig4 < 4.0.2. Fallback to Swig3")
+            swig = "swig3.0" # This is the Ubuntu naming of the executable
 
-        SolverInstaller.run("make -C %s -f %s PYTHON_INCL=%s" %
-                            (self.extract_path, makefile, prefix))
+        import distutils.sysconfig as sysconfig
+        PYTHON_INCLUDE_DIR = sysconfig.get_python_inc()
+        SolverInstaller.run("make -C %s -f %s PYTHON_INCL=-I%s SWIG=%s" %
+                            (self.extract_path, makefile, PYTHON_INCLUDE_DIR, swig))
 
 
     def move(self):