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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-1

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

%CSIZE%
665480

%ISIZE%
4960655

%SHA256SUM%
3a9c8ac7fadeecc7628f41f9f859c8dca770426de60fdf48a45ddb56344e1eac

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkbwACgkQrx0hme8KPM8+8BAA24GYU+NZrW603YehPet5fGz8/n8aEjhBlGsI1+BPJfxNupCz73XNarVuwbwpeQX7K9V0OHvSwCPoWIMqdOx/KlX9TwHZBpwPZm7L5C1ZpOf+sHQHVQtCol/fzqjwDJ2LMXi/QG840/WqZ2LBnzkVBTMN80DohyohtL57oUueI4WzT4Aw45UaYAovKrfgS+DBi7B0DkPTfDRdn0za9Ba5IMzobtJnqPfQQKqr1vbl1T2nGO4z3k06wadtqaNL4zZL+Ko6SeGGc0qOKJe8rHMvi4LJQYW3svBgTs2h6ytQhMdVIvwemtfv68N55jdCNIOlD/yHFqZyM5jr631UMqMt85bS3ZHF9lCPAZJb0t5K19hf3fs33/oECCGwq+bkGySi/uBqzOMa0a0Vvro2bNfy7ve942ohHuU7E5l84RWY6Y5SthTvn8/Kk1pBZhLeW0c33oYbYtdyu7YgD/St6iO/XiHBYVYa4fyDaOgrtm9OS9fKfPRXwz7HrwasUymO91T3kZ+omwmrOUnLp+C84OEuERnjtxTUXR7UcXRbk8B/Vx5wRUKRyrAtQvHVPmCznC2ajKT1vylE3YbUfxJ2jkmfQebMElHkfhhiuB+IvX6HWDx3qyqfaTqeW1BKLa6K8rCUttaG+A+jpSfjPkK63KxVMQ/gwVdH8wT+TdepWJ9kz8k=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1749991879

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

