python-pysmt 0.9.5-4

Architecture: any
Repository: Extra
Description: Solver-agnostic library for SMT Formulae manipulation and solving
Upstream URL:
License(s): Apache-2.0
Maintainers: Levente Polyak
Package Size: 636.3 KB
Installed Size: 4.6 MB
Last Packager: Jelle van der Waa
Build Date: April 4, 2024, 3:42 p.m. UTC
Signed By: Jelle van der Waa
Signature Date: April 4, 2024, 3:42 p.m. UTC
Last Updated: April 27, 2024, 10:21 a.m. UTC