%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEF8ACgkQrx0hme8KPM+PQhAAshPDc+EQbeGmI2EEO09t3M3kAJ2YGcw+u0Wja4ZFDhwvENajmN9XaNjNiTLT2k8SjUdtiwVPxjpxdPJoMfW0JkmqnMQ3L7koJqEKQhE3O7vyCAQ02i4o6HwTUTIUR8X1d8LLpisIqg+emVGndcRhF7JtlNlVyZmZ37HKYIs2lx16zp+wQDg4cRlrQ7OlVam6nyKO35xOqBKy3KMxQi3fOe29MSw7pgOfJ+mfNWxR5D3HmVaR5xYzZmLqeN/IZXdnYL/c5FQ6ctQpVM8riyNNlT4UrTi6Zl9CDpUO82562JAF0yQ1iDrWxEOtSTNDiu+FJuGjo2xSso1LWsAsaP0T/4Iz8m23GIJozL9sU7VdpMBI535Mg6f5iHVYu1o1TrarY8zG9QgMe9keUF6yENPx/ELiEKI7toyc3Dm7XJbBxA1d/zF6ygIK3EywhHuCErs7Jmf6P97Vx8Ede/NbuZPMHylaR8OA+kio6SRq36E2oPzOtrtk0BJoWHjZ8igS69j4R9+Y+z/P7eY1hb5qFkg/WirZvz1mU03XI9MzfKWXXptfYb9vPEgiZlKddoAy55DGEQoU1nN+jbhCOEzJnuO9bpuAkYFJW6N9v76fZN4t0cqniLg2f6WFTMXohW/RTHbxTebys9hbVhIcDy7FArMgXHlGBiaAZKfgyCj/A2xthvc=

%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

