python3-pysmt-0.9.0-4.fc35 in Fedora 35
↵ Return to the main page of python3-pysmt
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.0-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-06-04 | Python Maint <python dash maint at redhat dot com> - 0.9.0-3 | - Rebuilt for Python 3.10 |
| 2021-01-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-08-11 | Fabian Affolter <mail at fabian dash affolter dot ch> - 0.9.0-1 | - Update to latest upstream release 0.9.0 |
| 2020-07-29 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.8.0-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-05-26 | Miro Hrončok <mhroncok at redhat dot com> - 0.8.0-3 | - Rebuilt for Python 3.9 |
| 2020-03-26 | Fabian Affolter <mail at fabian dash affolter dot ch> - 0.8.0-2 | - Fix typo in description (rhbz#1808467) |
| 2020-02-28 | Fabian Affolter <mail at fabian dash affolter dot ch> - 0.8.0-1 | - Initial package for Fedora |
Dependencies
- python2.7 = 3.10
- python3 = 3.10
- python3-six
Provides
- python-pysmt
- python3-pysmt
- python3.10-pysmt
- python3.10dist(pysmt)
- python3dist(pysmt)
Files
- usr/
- bin/
- pysmt-install
- lib/
- python3.10/
- site-packages/
- PySMT-0.9.0-py3.10.egg-info/
- PKG-INFO
- SOURCES.txt
- dependency_links.txt
- entry_points.txt
- requires.txt
- top_level.txt
- pysmt/
- __init__.py
- __main__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- __main__.cpython-310.opt-1.pyc
- __main__.cpython-310.pyc
- configuration.cpython-310.opt-1.pyc
- configuration.cpython-310.pyc
- constants.cpython-310.opt-1.pyc
- constants.cpython-310.pyc
- decorators.cpython-310.opt-1.pyc
- decorators.cpython-310.pyc
- environment.cpython-310.opt-1.pyc
- environment.cpython-310.pyc
- exceptions.cpython-310.opt-1.pyc
- exceptions.cpython-310.pyc
- factory.cpython-310.opt-1.pyc
- factory.cpython-310.pyc
- fnode.cpython-310.opt-1.pyc
- fnode.cpython-310.pyc
- formula.cpython-310.opt-1.pyc
- formula.cpython-310.pyc
- logics.cpython-310.opt-1.pyc
- logics.cpython-310.pyc
- operators.cpython-310.opt-1.pyc
- operators.cpython-310.pyc
- oracles.cpython-310.opt-1.pyc
- oracles.cpython-310.pyc
- parsing.cpython-310.opt-1.pyc
- parsing.cpython-310.pyc
- printers.cpython-310.opt-1.pyc
- printers.cpython-310.pyc
- rewritings.cpython-310.opt-1.pyc
- rewritings.cpython-310.pyc
- shortcuts.cpython-310.opt-1.pyc
- shortcuts.cpython-310.pyc
- simplifier.cpython-310.opt-1.pyc
- simplifier.cpython-310.pyc
- substituter.cpython-310.opt-1.pyc
- substituter.cpython-310.pyc
- type_checker.cpython-310.opt-1.pyc
- type_checker.cpython-310.pyc
- typing.cpython-310.opt-1.pyc
- typing.cpython-310.pyc
- utils.cpython-310.opt-1.pyc
- utils.cpython-310.pyc
- cmd/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- check_version.cpython-310.opt-1.pyc
- check_version.cpython-310.pyc
- install.cpython-310.opt-1.pyc
- install.cpython-310.pyc
- shell.cpython-310.opt-1.pyc
- shell.cpython-310.pyc
- check_version.py
- install.py
- installers/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- base.cpython-310.opt-1.pyc
- base.cpython-310.pyc
- bdd.cpython-310.opt-1.pyc
- bdd.cpython-310.pyc
- btor.cpython-310.opt-1.pyc
- btor.cpython-310.pyc
- cvc4.cpython-310.opt-1.pyc
- cvc4.cpython-310.pyc
- msat.cpython-310.opt-1.pyc
- msat.cpython-310.pyc
- pico.cpython-310.opt-1.pyc
- pico.cpython-310.pyc
- yices.cpython-310.opt-1.pyc
- yices.cpython-310.pyc
- z3.cpython-310.opt-1.pyc
- z3.cpython-310.pyc
- base.py
- bdd.py
- btor.py
- cvc4.py
- msat.py
- pico.py
- yices.py
- z3.py
- shell.py
- configuration.py
- constants.py
- decorators.py
- environment.py
- exceptions.py
- factory.py
- fnode.py
- formula.py
- logics.py
- operators.py
- oracles.py
- parsing.py
- printers.py
- rewritings.py
- shortcuts.py
- simplifier.py
- smtlib/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- annotations.cpython-310.opt-1.pyc
- annotations.cpython-310.pyc
- commands.cpython-310.opt-1.pyc
- commands.cpython-310.pyc
- printers.cpython-310.opt-1.pyc
- printers.cpython-310.pyc
- script.cpython-310.opt-1.pyc
- script.cpython-310.pyc
- solver.cpython-310.opt-1.pyc
- solver.cpython-310.pyc
- annotations.py
- commands.py
- parser/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- parser.cpython-310.opt-1.pyc
- parser.cpython-310.pyc
- parser.py
- printers.py
- script.py
- solver.py
- solvers/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- bdd.cpython-310.opt-1.pyc
- bdd.cpython-310.pyc
- btor.cpython-310.opt-1.pyc
- btor.cpython-310.pyc
- cvc4.cpython-310.opt-1.pyc
- cvc4.cpython-310.pyc
- eager.cpython-310.opt-1.pyc
- eager.cpython-310.pyc
- interpolation.cpython-310.opt-1.pyc
- interpolation.cpython-310.pyc
- msat.cpython-310.opt-1.pyc
- msat.cpython-310.pyc
- options.cpython-310.opt-1.pyc
- options.cpython-310.pyc
- pico.cpython-310.opt-1.pyc
- pico.cpython-310.pyc
- portfolio.cpython-310.opt-1.pyc
- portfolio.cpython-310.pyc
- qelim.cpython-310.opt-1.pyc
- qelim.cpython-310.pyc
- smtlib.cpython-310.opt-1.pyc
- smtlib.cpython-310.pyc
- solver.cpython-310.opt-1.pyc
- solver.cpython-310.pyc
- yices.cpython-310.opt-1.pyc
- yices.cpython-310.pyc
- z3.cpython-310.opt-1.pyc
- z3.cpython-310.pyc
- bdd.py
- btor.py
- cvc4.py
- eager.py
- interpolation.py
- msat.py
- options.py
- pico.py
- portfolio.py
- qelim.py
- smtlib.py
- solver.py
- yices.py
- z3.py
- substituter.py
- type_checker.py
- typing.py
- utils.py
- walkers/
- __init__.py
- __pycache__/
- __init__.cpython-310.opt-1.pyc
- __init__.cpython-310.pyc
- dag.cpython-310.opt-1.pyc
- dag.cpython-310.pyc
- generic.cpython-310.opt-1.pyc
- generic.cpython-310.pyc
- identitydag.cpython-310.opt-1.pyc
- identitydag.cpython-310.pyc
- tree.cpython-310.opt-1.pyc
- tree.cpython-310.pyc
- dag.py
- generic.py
- identitydag.py
- tree.py
- PySMT-0.9.0-py3.10.egg-info/
- site-packages/
- python3.10/
- share/
- doc/
- python3-pysmt/
- CHANGES.rst
- README.rst
- api_ref.rst
- development.rst
- getting_started.rst
- index.rst
- tutorials/
- boolean_logic.rst
- tutorials.rst
- python3-pysmt/
- licenses/
- python3-pysmt/
- LICENSE
- python3-pysmt/
- doc/
- bin/
Sources on Pagure