%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

%MD5SUM%
4dbe6e9e0bafe85119acecfefd822990

%SHA256SUM%
3a9c8ac7fadeecc7628f41f9f859c8dca770426de60fdf48a45ddb56344e1eac

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmhOwesACgkQek52CV2KUuQ0Ywf/ewl2N9WQOl8WPwwAUtGiJRBgDIP1kO8hm0TiESs7C2ry4oZ1XMCcvxj0fwLg34DOYRwt/u+ZI/1ru8oRM+qD6+HHoDgBY7EeiJOqVBwT5B1bH3+mZpi8UoVznjvW+DBzYZ2UIYg8jAJGm7U7omNWTG9+Lwx3tMLD/29g7nEsuKUYYh+/sggEMNFXNx/GqaizQWfsJ+SYpCzja1nHEccqKh5Xk7lexkK95uWXuP8g7xkHK3oIzHUdEN7S2NDrj6jN/f3fehGPcoD6kEWTyo+Dd6vmpzcEMQNW/f3ute6dC5Gli/2kSxk8E4fzcvKw6OO4/VyYG7IGpPAOvUEXKvZNPA==

%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

