PySMT 0.8.0__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.8.0 → 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.8.0
+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.8.0/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
@@ -16,6 +16,7 @@ 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
@@ -45,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
@@ -56,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
@@ -73,7 +74,6 @@ pysmt/solvers/smtlib.py
 pysmt/solvers/solver.py
 pysmt/solvers/yices.py
 pysmt/solvers/z3.py
-pysmt/solvers/z3_flymake.py
 pysmt/test/__init__.py
 pysmt/test/examples.py
 pysmt/test/test_array.py
@@ -98,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
@@ -121,9 +122,9 @@ 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_invalid.py
 pysmt/test/smtlib/test_parser_lra.py
 pysmt/test/smtlib/test_parser_qf_arrays.py
 pysmt/test/smtlib/test_parser_qf_lia.py
@@ -131,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.8.0 → 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, 8, 0)
+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.8.0 → 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
@@ -28,21 +26,19 @@ 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(MSatInstaller,    "5.6.1", {}),
     Installer(CVC4Installer,    "1.7-prerelease",
               {"git_version" : "391ab9df6c3fd9a3771864900c1718534c1e4666"}),
-    Installer(Z3Installer,      "4.8.4",
-              {"osx": "10.14.1", "commit": "d6df51951f4c"}),
-    Installer(YicesInstaller,   "2.6.0",
+    Installer(Z3Installer,      "4.8.7", {"osx": "10.14.6"}),
+    Installer(YicesInstaller,   "2.6.2",
               {"yicespy_version": "f0768ffeec15ea310f830d10878971c9998454ac"}),
-    Installer(BtorInstaller,    "3.0.1-pre",
-              {"git_version" : "8062caf14f797a3aa85bf310705973468874e127"}),
+    Installer(BtorInstaller,    "3.2.1", {}),
     Installer(PicoSATInstaller, "965",
               {"pypicosat_minor_version" : "1708010052"}),
     Installer(CuddInstaller,    "2.0.3",
@@ -119,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
@@ -259,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.8.0 → opt/hostedtoolcache/Python/3.8.12/x64/lib/python3.8/site-packages}/pysmt/cmd/installers/base.py

@@ -17,17 +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
@@ -102,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)
@@ -163,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:
@@ -210,7 +208,7 @@ class SolverInstaller(object):
         """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

{PySMT-0.8.0 → 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):

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

@@ -40,6 +40,20 @@ class BtorInstaller(SolverInstaller):
                                  mirror_link=mirror_link)
 
     def compile(self):
+        # Override default Python library, include, and interpreter
+        # path into Boolector's CMake because CMake can get confused
+        # if multiple interpreters are available, especially python 2
+        # vs python 3.
+        import distutils.sysconfig as sysconfig
+        import sys
+        PYTHON_LIBRARY = os.environ.get('PYSMT_PYTHON_LIBDIR')
+        PYTHON_INCLUDE_DIR = sysconfig.get_python_inc()
+        PYTHON_EXECUTABLE = sys.executable
+        CMAKE_OPTS = ' -DPYTHON_INCLUDE_DIR=' + PYTHON_INCLUDE_DIR
+        CMAKE_OPTS += ' -DPYTHON_EXECUTABLE=' + PYTHON_EXECUTABLE
+        if PYTHON_LIBRARY:
+            CMAKE_OPTS += ' -DPYTHON_LIBRARY=' + PYTHON_LIBRARY
+
         # Unpack
         SolverInstaller.untar(os.path.join(self.base_dir, self.archive_name),
                               self.extract_path)
@@ -52,23 +66,15 @@ class BtorInstaller(SolverInstaller):
         SolverInstaller.run("bash ./contrib/setup-btor2tools.sh",
                             directory=self.extract_path)
 
-        # Inject Python library and include paths into CMake because Boolector search
-        # system can be fooled in some systems
-        import distutils.sysconfig as sysconfig
-        PYTHON_LIBRARY = sysconfig.get_config_var('LIBDIR')
-        PYTHON_INCLUDE_DIR = sysconfig.get_python_inc()
-        SolverInstaller.run(['sed', '-i',
-                             's|cmake_opts=""|cmake_opts="-DPYTHON_LIBRARY=' + PYTHON_LIBRARY + ' -DPYTHON_INCLUDE_DIR=' + PYTHON_INCLUDE_DIR + '"|g',
-                             './configure.sh'], directory=self.extract_path)
 
         # Build Boolector Solver
         SolverInstaller.run("bash ./configure.sh --python",
-                            directory=self.extract_path)
+                            directory=self.extract_path,
+                            env_variables={"CMAKE_OPTS": CMAKE_OPTS})
 
         SolverInstaller.run("make -j2",
                             directory=os.path.join(self.extract_path, "build"))
 
-
     def move(self):
         libdir = os.path.join(self.extract_path, "build", "lib")
         for f in os.listdir(libdir):

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

@@ -15,6 +15,7 @@ from __future__ import absolute_import
 
 import os
 import sys
+import multiprocessing
 
 from pysmt.cmd.installers.base import SolverInstaller
 
@@ -25,8 +26,8 @@ class CVC4Installer(SolverInstaller):
 
     def __init__(self, install_dir, bindings_dir, solver_version,
                  mirror_link=None, git_version='HEAD'):
-        archive_name = "CVC4-%s.tar.gz" % git_version
-        native_link = "https://codeload.github.com/CVC4/CVC4/tar.gz/%s" % (git_version)
+        archive_name = "CVC4-archived-%s.tar.gz" % git_version
+        native_link = "https://codeload.github.com/CVC4/CVC4-archived/tar.gz/%s" % (git_version)
         SolverInstaller.__init__(self, install_dir=install_dir,
                                  bindings_dir=bindings_dir,
                                  solver_version=solver_version,
@@ -45,8 +46,9 @@ class CVC4Installer(SolverInstaller):
 
     def compile(self):
         # Build ANTLR
-        SolverInstaller.run("bash get-antlr-3.4",
-                            directory=os.path.join(self.extract_path, "contrib"))
+
+        SolverInstaller.run("bash %s" % os.path.join("contrib", "get-antlr-3.4"),
+                            directory=self.extract_path)
 
         # Build ABC
         # SolverInstaller.run("bash get-abc",
@@ -57,10 +59,17 @@ class CVC4Installer(SolverInstaller):
         # Inject Python library and include paths into CMake because CVC4 search
         # system can be fooled in some systems
         import distutils.sysconfig as sysconfig
-        PYTHON_LIBRARY = sysconfig.get_config_var('LIBDIR')
+        PYTHON_LIBRARY = os.environ.get('PYSMT_PYTHON_LIBDIR')
         PYTHON_INCLUDE_DIR = sysconfig.get_python_inc()
+        PYTHON_EXECUTABLE = sys.executable
+
+        CMAKE_OPTS = '-DPYTHON_INCLUDE_DIR=' + PYTHON_INCLUDE_DIR
+        CMAKE_OPTS += ' -DPYTHON_EXECUTABLE=' + PYTHON_EXECUTABLE
+        if PYTHON_LIBRARY:
+            CMAKE_OPTS += ' -DPYTHON_LIBRARY=' + PYTHON_LIBRARY
+
         SolverInstaller.run(['sed', '-i',
-                             's|cmake_opts=""|cmake_opts="-DPYTHON_LIBRARY=' + PYTHON_LIBRARY + ' -DPYTHON_INCLUDE_DIR=' + PYTHON_INCLUDE_DIR + '"|g',
+                             's|cmake_opts=""|cmake_opts="' + CMAKE_OPTS + '"|g',
                              './configure.sh'], directory=self.extract_path)
 
         # Configure and build CVC4
@@ -74,7 +83,7 @@ class CVC4Installer(SolverInstaller):
 
         SolverInstaller.run(config_cmd, directory=self.extract_path,
                             env_variables=pyconfig)
-        SolverInstaller.run("make", directory=self.build_path,
+        SolverInstaller.run("make -j {}".format(multiprocessing.cpu_count()), directory=self.build_path,
                             env_variables=pyconfig)
         # SolverInstaller.run("make install", directory=self.build_path,
         #                     env_variables=pyconfig)

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

@@ -15,7 +15,7 @@ import sys, os
 import json
 import codecs
 
-from six.moves.urllib import request as urllib2
+import urllib.request
 
 from pysmt.cmd.installers.base import SolverInstaller, TemporaryPath
 
@@ -39,7 +39,7 @@ class PicoSATInstaller(SolverInstaller):
         self.complete_version = "%s.%s" % (self.solver_version,
                                            self.pypicosat_minor_version)
         pypi_link = "https://pypi.python.org/pypi/pyPicoSAT/%s/json" % self.complete_version
-        response = urllib2.urlopen(pypi_link)
+        response = urllib.request.urlopen(pypi_link)
         reader = codecs.getreader("utf-8")
         pypi_json = json.load(reader(response))
 

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

@@ -25,20 +25,8 @@ class YicesInstaller(SolverInstaller):
     def __init__(self, install_dir, bindings_dir, solver_version,
                  mirror_link=None, yicespy_version='HEAD'):
 
-        self.needs_compilation = False
-        if self.os_name == "darwin" or self.needs_compilation:
-            sysctl = self.run("sysctl -a", get_output=True, suppress_stderr=True)
-            if 'hw.optional.avx2_0: 1' in sysctl:
-                # No need to compile, see http://yices.csl.sri.com/faq.html
-                pack = "x86_64-apple-darwin16.7.0-static-gmp"
-            else:
-                self.needs_compilation = True
-                pack = "src"
-        else:
-            pack = "x86_64-pc-linux-gnu-static-gmp"
-
-        archive_name = "yices-%s-%s.tar.gz" % (solver_version, pack)
-        native_link = "http://yices.csl.sri.com/releases/{solver_version}/{archive_name}"
+        archive_name = "Yices-%s.tar.gz" % (solver_version)
+        native_link = "https://github.com/SRI-CSL/yices2/archive/{archive_name}"
         SolverInstaller.__init__(self, install_dir=install_dir,
                                  bindings_dir=bindings_dir,
                                  solver_version=solver_version,
@@ -46,7 +34,7 @@ class YicesInstaller(SolverInstaller):
                                  native_link=native_link,
                                  mirror_link=mirror_link)
 
-        self.extract_path = os.path.join(self.base_dir, "yices-%s" % self.solver_version)
+        self.extract_path = os.path.join(self.base_dir, "yices2-Yices-%s" % self.solver_version)
         self.yices_path = os.path.join(self.bindings_dir, "yices_bin")
         self.yicespy_git_version = yicespy_version
 
@@ -74,14 +62,12 @@ class YicesInstaller(SolverInstaller):
         # Prepare an empty folder for installing yices
         SolverInstaller.clean_dir(self.yices_path)
 
-        if self.needs_compilation:
-            SolverInstaller.run("bash configure --prefix %s" % self.yices_path,
-                                directory=self.extract_path)
-            SolverInstaller.run("make", directory=self.extract_path)
-            SolverInstaller.run("make install", directory=self.extract_path)
-        else:
-            SolverInstaller.run("bash ./install-yices %s" % self.yices_path,
-                                directory=self.extract_path)
+        SolverInstaller.run("autoconf", directory=self.extract_path)
+
+        SolverInstaller.run("bash configure --prefix %s" % self.yices_path,
+                            directory=self.extract_path)
+        SolverInstaller.run("make", directory=self.extract_path)
+        SolverInstaller.run("make install", directory=self.extract_path)
 
         self.install_yicespy()