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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-1.0

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

%CSIZE%
665487

%ISIZE%
4960517

%SHA256SUM%
9b0b15e4bef0a6f4edb81236282df2740988577f1063ac356713f671fdca4f64

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1753705481

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

