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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-2

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

%CSIZE%
679091

%ISIZE%
5294596

%MD5SUM%
57f4071ed002e479ff3cca308b06a997

%SHA256SUM%
93e837a1c87b05535b63aae7e64e88e9f37743afb6b1cc371dd3d24eb551752d

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CrQACgkQrx0hme8KPM+S4hAAmh0RKnqg8hfD6ozTCZEtzh8E8lg6O0HDrPzkjEg29XwXsNBiD2H8CNej4piiXIidOM3ukPQwbQf6vP/jj3QY+sQpqEk3+MMm0QcytCyq8Mm/wfCIRFv0MXJw2SmsOLh5a1AAEY3ROXk8WwXqEKkvH1ZrXyR6T1x1QiY5fUHcv4IriWgqYP9STPeyj62c9Rj8QP2fRwYFmAZWd5bsRiQFPNH8I7SRvI7wyXuYN5qtS4zVzBeCqrvfC8hAFPkhkcNcJZE45CSsYIABedcZDAv5NDn4OiG10jzut3+4WRsuVf/Y9CWksKZAchak4n7JtJhCZx6fmNji0YA2DtJFAHr0UZcbVtuiiU9ZARswX2TrSlPOhri4iMoO9mJHzyIT464OeVkJLj25NhgAKZE48bwMCjmcb0xtMEUXZKEKhrgLqxWKcPwPfmZyjXPVBoisSQerFgIDhhxFpP4WjuAccO9iz6jo2LLrWAE2dPEbRbrgGuev6auiRDCbALyBdTE4gP2knv3O3Ov4FfLxgGqv1rGIu0Yydb7n3LDRd/AVZt39eNSr7idd0uXL0Ug/w4yWRuXhOxFaUtVdFX1Fgjpyv/azZlZEFKYR2UoNGo6u1nHKNtZDtaaUz55pOkdNT7yqpuiXsgIhWYR8lyyqIOs4r5JOnQ73TzA/gaEfG5x3o9/ibcY=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1680863701

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

