Wed, 05 Jun 2024 16:37:00 UTC | login

Information for build python-pysmt-0.9.0-1.fc33

ID176525
Package Namepython-pysmt
Version0.9.0
Release1.fc33
Epoch
SummarySolver-agnostic library for SMT Formulae manipulation and solving
DescriptionA 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 bydavidlt
State complete
Volume DEFAULT
StartedThu, 13 Aug 2020 13:43:46 UTC
CompletedThu, 13 Aug 2020 13:43:46 UTC
Tags
f33
f37
f38
RPMs
src
python-pysmt-0.9.0-1.fc33.src.rpm (info) (download)
noarch
python3-pysmt-0.9.0-1.fc33.noarch.rpm (info) (download)
Changelog * Tue Aug 11 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.9.0-1 - Update to latest upstream release 0.9.0 * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue May 26 2020 Miro Hrončok <mhroncok@redhat.com> - 0.8.0-3 - Rebuilt for Python 3.9 * 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