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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-1

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

%CSIZE%
506610

%ISIZE%
3371647

%MD5SUM%
4ba4393a416edac19c420a6088839313

%SHA256SUM%
a752725fd8ef1245bccf247ea2362a2798dcd1295fb98f4314ed4f6012b5314e

%PGPSIG%
iQIzBAABCgAdFiEE4kC1fixGMLp2ji8m/BtUfI2BcsgFAmMAOzQACgkQ/BtUfI2BcsjyKxAAmYSvt4UgZgYGC+UX/9w9q0XkDfXUyMeLabK2l7aW/IhcUwnkjYEyH0U+zkrlqHl8TsTExj22L1lqUWBYhXAXdJhF2eAtdhzR+Log/+JUa3U9KkHkCnOK18IQR+kV0ILw4M6P8F9435rT+m/g0Mo5m5Tg8wo6Us6PMAjTsvJBXYsCU7Kd2IAdlC06/H1MjJI0tE+Sf+jr6UgGhXFSAWgKb3JDP+2v2/CCd5hZ//7tFqwU1oae66y+17p3guR3gAXLdeli8eAzo2uU3vkE5tsArLPq0ZS4ds0zjza9cx+L/fauhqkN0TaTXfsIcstxxIpI67/Pn6eG4qwulwzUkjHD9+O1x19zt75+pljX0R09KnntkBsHWXj7loTaSoKOlsdLqG4Y170UXjCLiqh1fYb6UhKgw57j/tTZW00y0a4fqKL6IIJaXbgJO4hXjE2joZBk7eU0kAyp+Gl9VbD7ZzofOZnxa2jvA9adk6ffFL/ODQzLfTltJsH+5/c82QjSmh1pfO38INCp2RcdOGmtd4h8/s0ZmPNTj5odv4eQPb9X4xwu6uwVzC3zLT+XG65V+SD0PPNfq1fBFHQPXdrKnw+T+TjLxSUmBCkiPKgxlRh///9Dt+70SaxAeoL76G25oNxjhEbgy9ROlJoCFLaThuMtyIrmFBFDmnNb/EF1CNyqrno=

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

%LICENSE%
Apache

%ARCH%
any

%BUILDDATE%
1660958812

%PACKAGER%
Levente Polyak <anthraxx@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

