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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-2.0

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

%CSIZE%
669912

%ISIZE%
5045315

%SHA256SUM%
79c55edf06bd53c239ce05b39eec0df441aececa25949efd0cc01de357d090ac

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1776901753

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

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

