def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): # Getting the right archive name os_name = self.os_name arch = self.architecture ext = "tar.gz" if os_name == "windows": ext = "zip" arch = "msvc" if self.architecture == "x86_64": os_name = "win64" else: os_name = "win32" elif os_name == "darwin": os_name = "darwin-libcxx" archive_name = "mathsat-%s-%s-%s.%s" % (solver_version, os_name, arch, ext) native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link = native_link, mirror_link=mirror_link) self.python_bindings_dir = os.path.join(self.extract_path, "python")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, osx=None, git_version=None, commit=None): arch = self.architecture if arch == "x86_64": arch = "x64" system = self.os_name if system == "linux": system = "ubuntu-14.04" elif system == "darwin": system = "osx-%s" % osx elif system == "windows": system = "win" if git_version is None: # Stable versions template archive_name = "z3-%s.%s-%s-%s.zip" % (solver_version, commit, arch, system) native_link = "https://github.com/Z3Prover/z3/releases/download/z3-" + solver_version + "/{archive_name}" # print(native_link) else: # Nightly build template archive_name = "z3-%s.%s-%s-%s.zip" % (solver_version, git_version, arch, system) native_link = "https://github.com/pysmt/Z3bin/blob/master/nightly/{archive_name}?raw=true" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, osx=None, git_version=None): arch = self.architecture if arch == "x86_64": arch = "x64" system = self.os_name if system == "linux": system = "ubuntu-14.04" elif system == "darwin": system = "osx-%s" % osx elif system == "windows": system = "win" # Stable versions template # archive_name = "z3-%s-%s-%s.zip" % (solver_version, arch, system) # # Nightly build template archive_name = "z3-%s.%s-%s-%s.zip" % (solver_version, git_version, arch, system) native_link = "https://github.com/pysmt/Z3bin/blob/master/nightly/{archive_name}?raw=true" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
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}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.extract_path = os.path.join(self.base_dir, "yices-%s" % self.solver_version) self.yices_path = os.path.join(self.bindings_dir, "yices_bin") self.yicespy_git_version = yicespy_version
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, osx=None): arch = self.architecture if arch == "x86_64": arch = "x64" system = self.os_name if system == "linux": system = "ubuntu-14.04" elif system == "darwin": system = "osx-%s" % osx archive_name = "z3-%s-%s-%s.zip" % (solver_version, arch, system) native_link = "https://github.com/Z3Prover/z3/releases/download/z3-4.4.1/{archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): # Getting the right archive name os_name = self.os_name arch = self.architecture ext = "tar.gz" if os_name == "windows": ext = "zip" arch = "msvc" if self.architecture == "x86_64": os_name = "win64" else: os_name = "win32" elif os_name == "darwin": os_name = "darwin-libcxx" archive_name = "mathsat-%s-%s-%s.%s" % (solver_version, os_name, arch, ext) native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.python_bindings_dir = os.path.join(self.extract_path, "python")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): SolverInstaller.__init__( self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, mirror_link=mirror_link, )
def __init__(self, install_dir, bindings_dir, solver_version, pypicosat_minor_version, mirror_link=None): self.pypicosat_minor_version = pypicosat_minor_version self.complete_version = None SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, mirror_link=mirror_link, native_link=None, archive_name=None)
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): archive_name = "boolector-%s-with-lingeling-b85.tar.bz2" % solver_version native_link = "http://fmv.jku.at/boolector/{archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, git_version='HEAD'): archive_name = "repycudd-%s.tar.gz" % git_version native_link = "https://codeload.github.com/pysmt/repycudd/tar.gz/%s" % git_version SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.git_version = git_version
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, lingeling_version=None): archive_name = "boolector-%s-with-lingeling-%s.tar.bz2" % \ (solver_version, lingeling_version) native_link = "http://fmv.jku.at/boolector/{archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
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) SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.git_version = git_version self.bin_path = os.path.join(self.bindings_dir, "CVC4_bin")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): archive_name = "mathsat-%s-%s-%s.tar.gz" % (solver_version, self.os_name, self.architecture) native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link = native_link, mirror_link=mirror_link) self.python_bindings_dir = os.path.join(self.extract_path, "python")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): pack = "x86_64-unknown-linux-gnu-static-gmp" archive_name = "yices-%s-%s.tar.gz" % (solver_version, pack) native_link = "http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file={archive_name}&accept=I+Agree" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.extract_path = os.path.join(self.base_dir, "yices-%s" % self.solver_version) self.yices_path = os.path.join(self.bindings_dir, "yices_bin")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, yicespy_version='HEAD'): 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, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) 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
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, git_version=None): native_link = "https://github.com/Boolector/boolector/archive/%s.tar.gz" archive_name = "boolector-%s.tar.gz" if git_version: native_link = native_link % git_version archive_name = archive_name % git_version else: native_link = native_link % solver_version archive_name = archive_name % solver_version SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
def __init__(self, install_dir, bindings_dir, solver_version, pypicosat_minor_version, mirror_link=None): self.complete_version = "%s.%s" % (solver_version, pypicosat_minor_version) pypi_link = "http://pypi.python.org/pypi/pyPicoSAT/%s/json" % self.complete_version response = urllib2.urlopen(pypi_link) reader = codecs.getreader("utf-8") pypi_json = json.load(reader(response)) pypicosat_download_link = pypi_json["urls"][0]["url"] archive_name = pypi_json["urls"][0]["filename"] SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, mirror_link=mirror_link, native_link=pypicosat_download_link, archive_name=archive_name) self.extract_path = os.path.join(self.base_dir, archive_name[:-7])
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, osx=None, git_version=None, commit=None): arch = self.architecture if arch == "x86_64": arch = "x64" system = self.os_name if system == "linux": system = "ubuntu-16.04" elif system == "darwin": system = "osx-%s" % osx elif system == "windows": system = "win" if git_version is None: # Stable versions template if commit: archive_name = "z3-%s.%s-%s-%s.zip" % (solver_version, commit, arch, system) else: archive_name = "z3-%s-%s-%s.zip" % (solver_version, arch, system) native_link = "https://github.com/Z3Prover/z3/releases/download/z3-" + solver_version + "/{archive_name}" # print(native_link) else: # Nightly build template archive_name = "z3-%s.%s-%s-%s.zip" % (solver_version, git_version, arch, system) native_link = "https://github.com/pysmt/Z3bin/blob/master/nightly/{archive_name}?raw=true" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link)
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, yicespy_version='HEAD'): if self.os_name == "darwin": pack = "x86_64-apple-darwin16.7.0-static-gmp" 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}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.extract_path = os.path.join(self.base_dir, "yices-%s" % self.solver_version) self.yices_path = os.path.join(self.bindings_dir, "yices_bin") self.yicespy_git_version = yicespy_version
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): archive_name = "mathsat-%s-%s-%s.tar.gz" % ( solver_version, self.os_name, self.architecture) if self.os_name == "darwin": archive_name = archive_name.replace("darwin", "darwin-libcxx") native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.python_bindings_dir = os.path.join(self.extract_path, "python")
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None, yicespy_version='HEAD'): pack = "x86_64-unknown-linux-gnu-static-gmp" archive_name = "yices-%s-%s.tar.gz" % (solver_version, pack) native_link = "http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file={archive_name}&accept=I+Agree" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.extract_path = os.path.join(self.base_dir, "yices-%s" % self.solver_version) self.yices_path = os.path.join(self.bindings_dir, "yices_bin") self.yicespy_git_version = yicespy_version
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): arch = self.architecture if arch == "x86_64": arch = "x64" system = self.os_name if system == "linux": system = "ubuntu-14.04" archive_name = "z3-%s-%s-%s.zip" % (solver_version, arch, system) native_link = "https://github.com/Z3Prover/z3/releases/download/z3-4.4.1/{archive_name}" SolverInstaller.__init__( self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link, )
def __init__(self, install_dir, bindings_dir, solver_version, mirror_link=None): # Getting the right archive name archive_name_template = "mathsat-{version}-{os}-{arch}.{ext}" format = { "version": solver_version, "os": self.os_name, "arch": self.architecture, "ext": "tar.gz" } if self.os_name == "windows": format["ext"] = "zip" format["arch"] = "msvc" format[ "os"] = "win64" if self.architecture == "x86_64" else "win32" elif self.os_name == "darwin": # Since version 5.6.7 the architecture is not included in the # pkg name for the OSX release as it is considered a "univeral binary" archive_name_template = "mathsat-{version}-{os}.{ext}" format["os"] = "osx" archive_name = archive_name_template.format(**format) native_link = "http://mathsat.fbk.eu/download.php?file={archive_name}" SolverInstaller.__init__(self, install_dir=install_dir, bindings_dir=bindings_dir, solver_version=solver_version, archive_name=archive_name, native_link=native_link, mirror_link=mirror_link) self.python_bindings_dir = os.path.join(self.extract_path, "python")