%FILENAME%
python-pysmt-0.9.5-3.0-any.pkg.tar.zst

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-3.0

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

%CSIZE%
679491

%ISIZE%
5295481

%MD5SUM%
ee2b60f44d5daf067dc5682e9a1a8d6a

%SHA256SUM%
143d86c3492a70a59ec98af1c135d5c58a39c476df5acbdefebddf588a3b402a

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmX01jgACgkQyOj1oK+bp+d1JAf+M/Q1QpzmiSyD39Y/ZLW5LXwfVhYC8RDiMA8lcWreTVkglbmyIb5dCcDa6r46+bdYWHlneDhI751lbPoJPdq7ESnqXUOcp+RObGU4B2RHgxp0/BAdJpcuDZ8SHJ/7RrUJYIM0VZhxIiRoEmfVTuJbfMkuXrCqtz3cYIVnwt8blQLi+Ym8x4oDG97n0Md8aCVZjy3RFHuGILuZzT3MJEcl37dKyFn0dgbCDjtozomRN0QrD7yjjKmluCVFjZkw80Do7GlFhC78pC7pZz9FYBeV4ecKDUUWsR6Wltjx2A1ydN+Qy0hkvMxTOlfVK79nLjEYW4NyI9bZU50QE04cUTpbzw==

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1710544423

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

