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

%ISIZE%
5045301

%SHA256SUM%
01176a123d47661c3c95a59c7bc7eb5405009feaf71508e882393ce8be185c0b

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766126367

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

