Name : python3-pysmt
| |
Version : 0.9.5
| Vendor : Fedora Project
|
Release : 3.fc39
| Date : 2023-07-21 15:09:55
|
Group : Unspecified
| Source RPM : python-pysmt-0.9.5-3.fc39.src.rpm
|
Size : 2.83 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/releases/39/Everything/s390x/os/Packages/p |