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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2

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

%CSIZE%
669889

%ISIZE%
5045301

%SHA256SUM%
8fb0ba9e6677b719988b9a1a4ee9eb40dfa04b4be05009d2cc40b5b49d59ca4f

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn35AACgkQrx0hme8KPM8d3hAAkEOXFS2ATvLuCbjiCXT/xaxGKMNxlo+lugINmUXg6AU/snBlfNsyh250zwD6FFH8Htsec/i9cb03Gs1b6il9s17r50VqqOKrIQ0zxIB25HWs1AcZuMNiwl1dVI2xcDb3KDRfjc3WKYWvMXF06FS94poY5UeKMWA6lXbNf1ccQ3aq73xehdlDYEwxzMm5s3T2OSvVhoqHdpPc8b3+cF2/H/GztkcXRH8Qx7TUd9a8cI88owlTsOaocFYYoo1sr4VM+U/aw0wUQW/du8K+AS7sX6iOc+Go5G3k6aukIzbLFkOOsu2lbaTX9UWYySdm6JXaBbPS5YuXS/mlZUW5DTxFO3/sV7Qm32APFgnnBrJrE9rBWdy/kXQ9CmHS83B0uIjK7D38kujQmDL7hLTrTwZ7T7fKPmUCA0Wpsx0L1U7KAVg81Pi1SMMbfhMWumLxU1VChT3Qe+s6uTFC8sRWKMVT0SDc1BRHmZ2Gj+n66mnVIwDpWkWO9YAmS2bEkTFKZGXxjttMBTp6KDUM43mRAtADn4ojXFEZy1/mW+BbT0avT+VLxonby3ijjGlLJakIheyLs4UcsHiP5fhLB0+PTjoqPrdmy8kKqCzkcQpeo1jBu68YoAntC4f9rEBf0AfGlsOlbszUllWkE+6yS3UE5lq4lT/jx59kXK/4sv5QojD0VkU=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766129507

%PACKAGER%
Jakub Klinkovský <lahwaacz@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

