python-pysmt 0.9.5-1

Architecture: any
Repository: Community
Description: Solver-agnostic library for SMT Formulae manipulation and solving
Upstream URL:
License(s): Apache
Maintainers: Levente Polyak
Package Size: 494.7 KB
Installed Size: 3.2 MB
Last Packager: Levente Polyak
Build Date: 2022-08-20 01:26 UTC
Signed By: Levente Polyak
Signature Date: 2022-08-20 01:39 UTC
Last Updated: 2022-08-20 01:41 UTC