| Name : python3-pysmt
| |
| Version : 0.9.0
| Vendor : Fedora Project
|
| Release : 5.fc36
| Date : 2022-01-21 15:53:20
|
| Group : Unspecified
| Source RPM : python-pysmt-0.9.0-5.fc36.src.rpm
|
| Size : 2.02 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: /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/36/Everything/ppc64le/os/Packages/p |
