Information for build python-pysmt-0.8.0-2.fc33
| ID | 158077 | |||||||
|---|---|---|---|---|---|---|---|---|
| Package Name | python-pysmt | |||||||
| Version | 0.8.0 | |||||||
| Release | 2.fc33 | |||||||
| Epoch | ||||||||
| 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 inutitive 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 | |||||||
| Built by | davidlt | |||||||
| State | complete | |||||||
| Volume | DEFAULT | |||||||
| Started | Fri, 08 May 2020 17:56:56 UTC | |||||||
| Completed | Fri, 08 May 2020 17:56:56 UTC | |||||||
| Tags |
|
|||||||
| RPMs |
|
|||||||
| Changelog | * Thu Mar 26 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.8.0-2 - Fix typo in description (rhbz#1808467) * Fri Feb 28 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.8.0-1 - Initial package for Fedora |
