def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
try:
import CVC4
return CVC4.Configuration_getVersionString()
except ImportError:
if "CVC4" in sys.modules:
del sys.modules["CVC4"]
return None
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import CVC4
version = CVC4.Configuration_getVersionString()
finally:
if "CVC4" in sys.modules:
del sys.modules["CVC4"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import picosat
version = picosat.picosat_version()
finally:
if "picosat" in sys.modules:
del sys.modules["picosat"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import z3
(major, minor, ver, _) = z3.get_version()
version = "%d.%d.%d" % (major, minor, ver)
finally:
if "z3" in sys.modules:
del sys.modules["z3"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import repycudd
doc = repycudd.DOCSTRING
m = re.match(r"^PyCUDD (\d+\.\d+\.\d+).*", doc)
if m is not None:
version = m.group(1)
finally:
if "repycudd" in sys.modules:
del sys.modules["repycudd"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import yicespy
v = yicespy.__dict__['__YICES_VERSION']
m = yicespy.__dict__['__YICES_VERSION_MAJOR']
p = yicespy.__dict__['__YICES_VERSION_PATCHLEVEL']
version = "%d.%d.%d" % (v, m, p)
finally:
if "yicespy" in sys.modules:
del sys.modules["yicespy"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
try:
import mathsat
version_str = mathsat.msat_get_version()
m = re.match(r"^MathSAT5 version (\d+\.\d+\.\d+) .*$",
version_str)
if m is not None:
version = m.group(1)
finally:
if "mathsat" in sys.modules:
del sys.modules["mathsat"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version
def get_installed_version(self):
with TemporaryPath([self.bindings_dir]):
version = None
vfile = os.path.join(self.extract_path, "boolector", "VERSION")
try:
# The version is read from a file, but we first check
# if the module is installed
# pylint: disable=unused-import
import boolector
with open(vfile) as f:
version = f.read().strip()
finally:
if "boolector" in sys.modules:
del sys.modules["boolector"]
# Return None, without raising an exception
# pylint: disable=lost-exception
return version