python-pysmt 0.9.5-2

Architecture: any
Repository: Extra
Description: Solver-agnostic library for SMT Formulae manipulation and solving
Upstream URL:
License(s): Apache
Maintainers: Levente Polyak
Package Size: 663.2 KB
Installed Size: 5.0 MB
Last Packager: Felix Yan
Build Date: 2023-04-07 10:35 UTC
Signed By: Felix Yan
Signature Date: 2023-04-07 10:35 UTC
Last Updated: 2023-05-19 16:35 UTC