%FILENAME%
python-pysmt-0.9.5-4-any.pkg.tar.zst

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.5-4

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

%CSIZE%
651592

%ISIZE%
4836978

%MD5SUM%
c82ad4e71f9e64a38916623e4aef0732

%SHA256SUM%
fe46942a8d20c377dc947e0a8d388e58e57476f41f8fc0d2d1bcf0890c02fe48

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCa9EUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwb9lhAAzlZN0v27Oya0au6Dvtncn9ihks8WZyRSMsh4e8Mk0AJZtFHlQXuY1vYhwIudolbGC04cGDKPSDeuil/AD461tB99rcKDWojOud7NYMGut/YRkmjCM3tGSsIaTc6PGhd0HIIrWOZYZ3I1stbqPBLTGrM3mb+QAqdi45w6P1Plj1Xa9qE2IbYrf8FQk6cXNz0dXYVNzEliYV+Lw4soDlDbiVWHOdsKnbPGMA+LoSAWWPmy7utlCAoFVuQa7RCFlaGnJweeooGhOFPjaVpTw/CEL6UkANzcOcn5Y5qJWHDwTQ01yv5bxJWd0/OVVOUWT4cPJm/qA6GCljQXx2sDNiixG+nvphFLQuPXMgXI4dapcgV8fr2cwNLKo+RCTiYlBbWGMYBP0FbccfqqsACIE5l24KuyaLd/dLlP93hA75l+9BwK+GbSCedXqJ688OMRP+S6un6m31ke2D/qhfZbIOrmEHfdx5u7r0tehZ8Q3Q4fDpwls6vYLo3+8H/VBNAuQmoisrjH13z8QBFCJ40LcR7jsrhItdIZ4VsSSD23+rDjGpbFtRapuayXzjVgP/IoA6Kl84UiprCdQ6Q/QGaxpKog592YgGexY1RHJkAIA45eLJK3NfFCAnORuy+9uieA0DNS17A0FheQvTLtg2XGuSKYUvLubl9bydwgUaUQTL0CnJ0=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1712245342

%PACKAGER%
Jelle van der Waa <jelle@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

