%FILENAME%
python-pysmt-0.9.6-2-any.pkg.tar.zst

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2

%DESC%
Solver-agnostic library for SMT Formulae manipulation and solving

%CSIZE%
669796

%ISIZE%
5045301

%SHA256SUM%
4fd7f803b7b586cb41570a3f90d3a123895d9f9ef3b17920c84443f26f8bfffe

%PGPSIG%
iQIzBAABCgAdFiEECj62uxQsVmUzAEIMEkfZlfFlu6wFAmlFKmAACgkQEkfZlfFlu6zl3w//YiJZsN4y51z+tWdFMCIXkgmZlNR3RJh2J0w2TSy8c2cSREow7/vaykTOgoN1llnmCN0SKSwa+ZO6LKeQB4nhwSr3wJF97UH+YXEglGJXSuvNxsCoKlc7TeSqhfARUIITRaYnuXPssLSLBqFlEgkviNy30VpAG4r9/raZPnzjvqjP1CGpqzPNEb+DHZW/ZP0LeGHpce7w7qyOSabeelh9iMjm7uYJ6Y3NB6QYjgH1BirDYSfShbX90+aGxYtF3laxZclchrULjm1seWFN4YwAbkWsXrqqiJij6x2mxh+BQavDZurD8IAIDX2ms/tsaI6oIwSXJeDj48rwH235r4/Xarsiqg2f4J34dILf8Rx5iCHePi8jgRw4Dh93RXDm+NIQACk4cE8E3EIAGJeWL7gX9e/MTYFNVOw+7HCG3CJ44+1cdj9Yw0hRZjkwQaodWO21syB9PVJdtKS53/bxRUzb/xvujjO+GTPSObIp5vY85vIjnSg+GcgIqO4Wh33T+xNrsj4loWcc8Fge5Y59XqvoaEbCERdC2LVotNOgVGQ63TA3qC85K4h6k2fkQVwBKZgNV2zOhogrEMV7Vvb1DKIyC2FWnat2QR23QuggZj3Jx0M3UnM2nthiPL8IwJ74lw1ENczBQdQnyU7kSQYqXnW0dwS8Pm3iviGRkrXITxYBzuE=

%URL%
https://github.com/pysmt/pysmt

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766140485

%PACKAGER%
artist <artist@artixlinux.org>

%DEPENDS%
python
python-z3-solver

%MAKEDEPENDS%
python-build
python-installer
python-wheel
python-setuptools

%CHECKDEPENDS%
python-pytest

