%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%
669805

%ISIZE%
5045315

%SHA256SUM%
f2ae225e458a36e6983408760386193306c23d855cc3650cb478496459befc04

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaUZvrQAKCRBcdK4XC9oUM+B8AP9f21sqplKj0Ia51bmN15S8uo03m1LlttUmcPL6ada7rgD7BAzK7l4Ja3wTagrJyF9SMnRf24fwuFoYlaFTgW0zhg0=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766223759

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

