Fri, 01 Nov 2024 01:27:26 UTC | login

Information for RPM python3-pysmt-0.8.0-3.fc33.noarch.rpm

ID612576
Namepython3-pysmt
Version0.8.0
Release3.fc33
Epoch
Archnoarch
SummarySolver-agnostic library for SMT Formulae manipulation and solving
DescriptionA library for SMT formulae manipulation and solving pySMT makes working with Satisfiability Modulo Theory simple. Among others, you can: * Define formulae in a solver independent way in a simple and intuitive way * Write ad-hoc simplifiers and operators * Dump your problems in the SMT-Lib format * Solve them using one of the native solvers * Wrapping any SMT-Lib complaint
Build Time2020-05-26 03:12:16 GMT
Size365.83 KB
f1b19a044784ef80276cfbe4bd77c962
LicenseASL 2.0
Provides
python-pysmt = 0.8.0-3.fc33
python3-pysmt = 0.8.0-3.fc33
python3.9-pysmt = 0.8.0-3.fc33
python3.9dist(pysmt) = 0.8
python3dist(pysmt) = 0.8
Obsoletes
python-pysmt < 0.8.0-3.fc33
Conflicts No Conflicts
Requires
/usr/bin/python3
python(abi) = 3.9
python3.9dist(setuptools)
python3.9dist(six)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PartialHardlinkSets) <= 4.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 228 >>>
Name ascending sort Size
/usr/bin/pysmt372.00 B
/usr/bin/pysmt-install388.00 B
/usr/bin/pysmt-shell384.00 B
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info0.00 B
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/PKG-INFO1.96 KB
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/SOURCES.txt3.64 KB
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/dependency_links.txt1.00 B
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/entry_points.txt134.00 B
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/requires.txt4.00 B
/usr/lib/python3.9/site-packages/PySMT-0.8.0-py3.9.egg-info/top_level.txt6.00 B
/usr/lib/python3.9/site-packages/pysmt0.00 B
/usr/lib/python3.9/site-packages/pysmt/__init__.py1.49 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__0.00 B
/usr/lib/python3.9/site-packages/pysmt/__pycache__/__init__.cpython-39.opt-1.pyc914.00 B
/usr/lib/python3.9/site-packages/pysmt/__pycache__/__init__.cpython-39.pyc914.00 B
/usr/lib/python3.9/site-packages/pysmt/__pycache__/configuration.cpython-39.opt-1.pyc3.31 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/configuration.cpython-39.pyc3.39 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/constants.cpython-39.opt-1.pyc3.95 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/constants.cpython-39.pyc3.95 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/decorators.cpython-39.opt-1.pyc3.91 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/decorators.cpython-39.pyc3.91 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/environment.cpython-39.opt-1.pyc5.71 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/environment.cpython-39.pyc5.74 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/exceptions.cpython-39.opt-1.pyc6.03 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/exceptions.cpython-39.pyc6.03 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/factory.cpython-39.opt-1.pyc16.04 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/factory.cpython-39.pyc16.19 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/fnode.cpython-39.opt-1.pyc36.29 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/fnode.cpython-39.pyc36.75 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/formula.cpython-39.opt-1.pyc34.77 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/formula.cpython-39.pyc35.06 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/logics.cpython-39.opt-1.pyc17.13 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/logics.cpython-39.pyc17.22 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/operators.cpython-39.opt-1.pyc3.23 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/operators.cpython-39.pyc3.46 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/oracles.cpython-39.opt-1.pyc15.59 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/oracles.cpython-39.pyc15.69 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/parsing.cpython-39.opt-1.pyc19.71 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/parsing.cpython-39.pyc19.71 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/printers.cpython-39.opt-1.pyc15.29 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/printers.cpython-39.pyc15.49 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/rewritings.cpython-39.opt-1.pyc27.34 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/rewritings.cpython-39.pyc27.81 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/shortcuts.cpython-39.opt-1.pyc38.83 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/shortcuts.cpython-39.pyc38.86 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/simplifier.cpython-39.opt-1.pyc27.35 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/simplifier.cpython-39.pyc27.84 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/substituter.cpython-39.opt-1.pyc7.27 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/substituter.cpython-39.pyc7.27 KB
/usr/lib/python3.9/site-packages/pysmt/__pycache__/type_checker.cpython-39.opt-1.pyc11.21 KB
Component of No Buildroots