Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: python3-pysmt | Distribution: Fedora Project |
Version: 0.9.5 | Vendor: Fedora Project |
Release: 5.fc40 | Build date: Fri Jan 26 10:25:34 2024 |
Group: Unspecified | Build host: buildhw-x86-10.iad2.fedoraproject.org |
Size: 2970719 | Source RPM: python-pysmt-0.9.5-5.fc40.src.rpm |
Packager: Fedora Project | |
Url: http://www.pysmt.org | |
Summary: Solver-agnostic library for SMT Formulae manipulation and solving |
A 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
ASL 2.0
* Fri Jan 26 2024 Fedora Release Engineering <[email protected]> - 0.9.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Jan 22 2024 Fedora Release Engineering <[email protected]> - 0.9.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 21 2023 Fedora Release Engineering <[email protected]> - 0.9.5-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jun 13 2023 Python Maint <[email protected]> - 0.9.5-2 - Rebuilt for Python 3.12 * Sat Feb 11 2023 Fabian Affolter <[email protected]> - 0.9.5-1 - Update to latest upstream release 0.9.5 (closes rhbz#2157764) * Fri Jan 20 2023 Fedora Release Engineering <[email protected]> - 0.9.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jul 22 2022 Fedora Release Engineering <[email protected]> - 0.9.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 13 2022 Python Maint <[email protected]> - 0.9.0-6 - Rebuilt for Python 3.11
/usr/bin/pysmt-install /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info/PKG-INFO /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info/SOURCES.txt /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info/dependency_links.txt /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info/entry_points.txt /usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info/top_level.txt /usr/lib/python3.12/site-packages/pysmt /usr/lib/python3.12/site-packages/pysmt/__init__.py /usr/lib/python3.12/site-packages/pysmt/__main__.py /usr/lib/python3.12/site-packages/pysmt/__pycache__ /usr/lib/python3.12/site-packages/pysmt/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/__main__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/__main__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/configuration.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/configuration.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/constants.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/constants.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/decorators.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/decorators.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/environment.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/environment.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/exceptions.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/exceptions.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/factory.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/factory.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/fnode.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/fnode.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/formula.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/formula.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/logics.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/logics.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/operators.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/operators.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/oracles.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/oracles.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/parsing.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/parsing.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/printers.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/printers.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/rewritings.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/rewritings.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/shortcuts.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/shortcuts.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/simplifier.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/simplifier.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/substituter.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/substituter.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/type_checker.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/type_checker.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/typing.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/typing.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/utils.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/__pycache__/utils.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd /usr/lib/python3.12/site-packages/pysmt/cmd/__init__.py /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__ /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/check_version.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/check_version.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/install.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/install.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/shell.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/__pycache__/shell.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/check_version.py /usr/lib/python3.12/site-packages/pysmt/cmd/install.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__init__.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__ /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/base.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/base.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/bdd.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/bdd.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/btor.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/btor.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/cvc4.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/cvc4.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/msat.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/msat.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/pico.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/pico.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/yices.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/yices.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/z3.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/__pycache__/z3.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/cmd/installers/base.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/bdd.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/cvc4.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/msat.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/pico.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/yices.py /usr/lib/python3.12/site-packages/pysmt/cmd/installers/z3.py /usr/lib/python3.12/site-packages/pysmt/cmd/shell.py /usr/lib/python3.12/site-packages/pysmt/configuration.py /usr/lib/python3.12/site-packages/pysmt/constants.py /usr/lib/python3.12/site-packages/pysmt/decorators.py /usr/lib/python3.12/site-packages/pysmt/environment.py /usr/lib/python3.12/site-packages/pysmt/exceptions.py /usr/lib/python3.12/site-packages/pysmt/factory.py /usr/lib/python3.12/site-packages/pysmt/fnode.py /usr/lib/python3.12/site-packages/pysmt/formula.py /usr/lib/python3.12/site-packages/pysmt/logics.py /usr/lib/python3.12/site-packages/pysmt/operators.py /usr/lib/python3.12/site-packages/pysmt/oracles.py /usr/lib/python3.12/site-packages/pysmt/parsing.py /usr/lib/python3.12/site-packages/pysmt/printers.py /usr/lib/python3.12/site-packages/pysmt/rewritings.py /usr/lib/python3.12/site-packages/pysmt/shortcuts.py /usr/lib/python3.12/site-packages/pysmt/simplifier.py /usr/lib/python3.12/site-packages/pysmt/smtlib /usr/lib/python3.12/site-packages/pysmt/smtlib/__init__.py /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__ /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/annotations.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/annotations.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/commands.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/commands.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/printers.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/printers.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/script.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/script.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/solver.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/solver.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/utils.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/__pycache__/utils.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/annotations.py /usr/lib/python3.12/site-packages/pysmt/smtlib/commands.py /usr/lib/python3.12/site-packages/pysmt/smtlib/parser /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__init__.py /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__pycache__ /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/smtlib/parser/parser.py /usr/lib/python3.12/site-packages/pysmt/smtlib/printers.py /usr/lib/python3.12/site-packages/pysmt/smtlib/script.py /usr/lib/python3.12/site-packages/pysmt/smtlib/solver.py /usr/lib/python3.12/site-packages/pysmt/smtlib/utils.py /usr/lib/python3.12/site-packages/pysmt/solvers /usr/lib/python3.12/site-packages/pysmt/solvers/__init__.py /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__ /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/bdd.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/bdd.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/btor.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/btor.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/eager.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/eager.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/interpolation.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/interpolation.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/msat.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/msat.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/options.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/options.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/pico.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/pico.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/qelim.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/qelim.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/smtlib.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/smtlib.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/solver.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/solver.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/yices.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/yices.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/z3.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/__pycache__/z3.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/solvers/bdd.py /usr/lib/python3.12/site-packages/pysmt/solvers/btor.py /usr/lib/python3.12/site-packages/pysmt/solvers/cvc4.py /usr/lib/python3.12/site-packages/pysmt/solvers/eager.py /usr/lib/python3.12/site-packages/pysmt/solvers/interpolation.py /usr/lib/python3.12/site-packages/pysmt/solvers/msat.py /usr/lib/python3.12/site-packages/pysmt/solvers/options.py /usr/lib/python3.12/site-packages/pysmt/solvers/pico.py /usr/lib/python3.12/site-packages/pysmt/solvers/portfolio.py /usr/lib/python3.12/site-packages/pysmt/solvers/qelim.py /usr/lib/python3.12/site-packages/pysmt/solvers/smtlib.py /usr/lib/python3.12/site-packages/pysmt/solvers/solver.py /usr/lib/python3.12/site-packages/pysmt/solvers/yices.py /usr/lib/python3.12/site-packages/pysmt/solvers/z3.py /usr/lib/python3.12/site-packages/pysmt/substituter.py /usr/lib/python3.12/site-packages/pysmt/type_checker.py /usr/lib/python3.12/site-packages/pysmt/typing.py /usr/lib/python3.12/site-packages/pysmt/utils.py /usr/lib/python3.12/site-packages/pysmt/walkers /usr/lib/python3.12/site-packages/pysmt/walkers/__init__.py /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__ /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/__init__.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/__init__.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/dag.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/dag.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/generic.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/generic.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/tree.cpython-312.opt-1.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/__pycache__/tree.cpython-312.pyc /usr/lib/python3.12/site-packages/pysmt/walkers/dag.py /usr/lib/python3.12/site-packages/pysmt/walkers/generic.py /usr/lib/python3.12/site-packages/pysmt/walkers/identitydag.py /usr/lib/python3.12/site-packages/pysmt/walkers/tree.py /usr/share/doc/python3-pysmt /usr/share/doc/python3-pysmt/CHANGES.rst /usr/share/doc/python3-pysmt/README.rst /usr/share/doc/python3-pysmt/api_ref.rst /usr/share/doc/python3-pysmt/development.rst /usr/share/doc/python3-pysmt/getting_started.rst /usr/share/doc/python3-pysmt/index.rst /usr/share/doc/python3-pysmt/tutorials /usr/share/doc/python3-pysmt/tutorials.rst /usr/share/doc/python3-pysmt/tutorials/boolean_logic.rst /usr/share/licenses/python3-pysmt /usr/share/licenses/python3-pysmt/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 23:47:10 2024