SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

python3-pysmt rpm build for : Rawhide. For other distributions click python3-pysmt.

Name : python3-pysmt
Version : 0.9.5 Vendor : Fedora Project
Release : 7.fc41 Date : 2024-07-20 05:18:26
Group : Unspecified Source RPM : python-pysmt-0.9.5-7.fc41.src.rpm
Size : 2.84 MB
Packager : Fedora Project
Summary : Solver-agnostic library for SMT Formulae manipulation and solving
Description :
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

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/ppc64le/os/Packages/p

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  python3-pysmt-0.9.5-7.fc41.noarch.rpm
ftp.icm.edu.pl  python3-pysmt-0.9.5-7.fc41.noarch.rpm
ftp.icm.edu.pl  python3-pysmt-0.9.5-7.fc41.noarch.rpm
ftp.icm.edu.pl  python3-pysmt-0.9.5-7.fc41.noarch.rpm
     

Provides :
python-pysmt
python3-pysmt
python3.13-pysmt
python3.13dist(pysmt)
python3dist(pysmt)

Requires :
/usr/bin/python3
python(abi) = 3.13
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


Content of RPM :
/usr/bin/pysmt-install
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info/PKG-INFO
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info/SOURCES.txt
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info/dependency_links.txt
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info/entry_points.txt
/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info/top_level.txt
/usr/lib/python3.13/site-packages/pysmt
/usr/lib/python3.13/site-packages/pysmt/__init__.py
/usr/lib/python3.13/site-packages/pysmt/__main__.py
/usr/lib/python3.13/site-packages/pysmt/__pycache__
/usr/lib/python3.13/site-packages/pysmt/__pycache__/__init__.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/__init__.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/__main__.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/__main__.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/constants.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/constants.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/decorators.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/decorators.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/exceptions.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/exceptions.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.opt-1.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.pyc
/usr/lib/python3.13/site-packages/pysmt/__pycache__/formula.cpython-313.opt-1.pyc
There is 195 files more in these RPM.

  
ICM