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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-5

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

%CSIZE%
656247

%ISIZE%
4840457

%SHA256SUM%
c53a5f276e6a3097413be100dacbb789a78a48f19d7addcc231bcaf2a5bbc25c

%PGPSIG%
iQEzBAABCgAdFiEE5JnHn1PJalTlcv7hwGCGM3xQdz4FAmc52NoACgkQwGCGM3xQdz4QNQf/YiNSNCXiHMH081UkY6GZFUqISXrCXCVc3wA1Qr57Z5x/dpJ9FY+MhccJPYEYBIH8CYn4QcFiqxGqvcl6dKeC19xEGLqAlB/xAlJjSUEdZ18hi77rhPVUNYUB6DZBPRhspXmSs4bvcOU1GR6+wwqTALb/N4UJBAGRyQXjhLRtyZPrdDsnmT/3622+c1368jHxzfIQU3BmUFW1EUzWhSQyv9YzBnK38AAKVRWzazukEdDgFJjXX3239VIylP4A6eyhZa+dMsEvqiVGWwVG4q/PWym/UoHkITJ8SF4M4Fl/0mPaOunvI+V7yu81WX2X3EzehIanCVckM2MUoSGtrnespQ==

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1731844209

%PACKAGER%
Jelle van der Waa <jelle@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

