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

%ISIZE%
5045301

%SHA256SUM%
22a0672d2a800e7fdcb565cd6ba86507efc62198e9642def148e10c308850f76

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1769277649

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

