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, 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):
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, 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, 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")
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])