Sat, 01 Jun 2024 02:29:53 UTC | login

Information for build python-pysmt-0.9.0-8.fc38

ID229305
Package Namepython-pysmt
Version0.9.0
Release8.fc38
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
StartedWed, 22 Feb 2023 15:50:43 UTC
CompletedWed, 22 Feb 2023 15:50:43 UTC
Tags
f38
f39
f40
RPMs
src
python-pysmt-0.9.0-8.fc38.src.rpm (info) (download)
noarch
python3-pysmt-0.9.0-8.fc38.noarch.rpm (info) (download)
Changelog * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 0.9.0-6 - Rebuilt for Python 3.11 * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 0.9.0-3 - Rebuilt for Python 3.10 * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild