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

%ISIZE%
5045301

%SHA256SUM%
8fb0ba9e6677b719988b9a1a4ee9eb40dfa04b4be05009d2cc40b5b49d59ca4f

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAaUACgkQrx0hme8KPM+HshAAvgLxfbFeKvxOvHOH5Qk86bdX2LMXOFoyFJAg8G0Asswh9ZSDeFnG3iL6X0AupE05aJpSUF6D8ks7ld7otvN7BSkrCgOB1DCEA+IpJ6v5jhtORU8JusLGHdRyNOWU/gbnI61tYDKauuSQJvENvkwrs74DA/PqOlnz04yVissbjXhguhPus1d62NIdnGaVDvHAGWA/HYqfRAjY7Ass+EpgazJoxeS4eiHAN6QVdiglIIIEBsxhfGQrM+V/T8SJ06EZTfFUJuKU7eWXNelg3Nh5MP0tLw16gsUphCsdzPd7yAdMq4gWUedfzm85U6TsNwUs5YXP6cRjr401MWhbCFzTcmmyIRDNySpoZ3XMzvwr5xbC3Z4bCLfDTSQOr6PLCzCZ0DeGLnkvBP+sWOczfKIZmiroFKucJpI6CcT2kM5/XCgffGqlFGt231Z5ZTpeFE+62Citn2efq9HBtey5gAryLuvmAcXl3sgpSM4Kv6ii4XKFUHE9upu0fDI2X7xr7LUdWQk4v5Xtwoi5Dl1SExhy5vgvB5W8ztBFkWyFLdj/zSGgx1lMrvV8R1HiDwqI/DASQ+6+MmnHR0wILoMY2ybko0wt6wAe7+BSR5bA4ZSaVbLF2sdWOksJw3sZmkvZuzlmaH3jv0oqx1klW+4hmNAc3j/yjNnXkJ8pLqVUuzP0Ffs=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1766129507

%PACKAGER%
Jakub Klinkovský <lahwaacz@archlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest

