%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOrQACgkQrx0hme8KPM9QEBAAkktYrNawn3DrnjG0DJBgoADUG1MVkVj6CWA4Zk1p25+sOplXackliPdYtsdAoPMfW+EeUOzFhvat4dQXms/sNchCD5hT204bLh9cv75cuVlZ7pp556bvB5hPWFsHgbV6T2tQpuB9dQ2tK4VZ53TYUCcTqH81/8CkIgSPThmK9zlGas8/GBUcZVd39T3WOg2/7pMQGU7MfgfeXSIqHW6a7Df+NHmmoDix4VdbAbM1/CyuVk/qpjVVdGb51QH8K4dHXnecI+DguQCKAy+CJbadDUrk+o03QFREcoifhy+1qVFa2eCkkkAkSYJSdNrqUwFfTkh9BOM8VafzN9ZIssXAVYwUcdIFFiKuorBjzt3IUC6Y+0aKJ42NLLbL0jCCppItdfAq6N5iMEdkK9QhI1Rir5ayc1C4XJ4H/u66I1vA+bbKsja/FfLz7aS7TxzByXujOoJzr5exBVNekTa8IiSGWE+FJsYl4T9qQXyMCvmFTvVH+eWEOJGSn/ihPJxXLgIdBDXA4/VzNLySVkNz7oaWW6HfpwH2tOhemXPgUscim+MSu/l4nSviHReB4DPcIrw9DJWYSZWbp2gvxDRGko7q5P0I3p+zCIoQCW/QxVPW1/NOpF3fsjXxZ9kuGDOJuYF8uLsLEKUA+nO9lUVJl1nfAP4ZnhhRCEysdkrD7Y+yOuw=

%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

