python-pysmt 0.9.5-3

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: 663.5 KB
Installed Size: 5.1 MB
Last Packager: David Runge
Build Date: 2024-03-01 14:28 UTC
Signed By: David Runge
Signature Date: 2024-03-01 14:31 UTC
Last Updated: 2024-03-01 14:33 UTC