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

%NAME%
python-pysmt

%BASE%
python-pysmt

%VERSION%
0.9.6-1

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

%CSIZE%
665428

%ISIZE%
4960655

%SHA256SUM%
207335ec86e3173d537574daedffea62f2dd5501fd725d8b090221e2db628303

%PGPSIG%
iQIzBAABCAAdFiEECj62uxQsVmUzAEIMEkfZlfFlu6wFAmhPhS8ACgkQEkfZlfFlu6xTZg/7BikRkI9yYuszvqzmxTJbdeEFtXP+oxBCAifIYdC7K9RNMoZHdb1Wy2WOEmE1awSGQOHiwmxGGrq9c4FXxYUHbzW0GZUfMKRb7DcaIkx16DtGrI2L1kWNo9UhgHdmTe7hZ5vLOGjUvcEJDsaQNijWtgYuTcSw6Uo8N/PEx5SEYvWVRVIq2LKye4dUFVD3Y3c6jxH6HYRqgAd67Z3TkuSHRmk7goT1SEi8v7lAVqEkir2lWZO4yG/Qat0Pe0azyI1mkR1Tswzz1b9YCU7JHUSGc+gqvCUKBzbzvCXh21q6QZfyd6XWlMfJVPpDZqL6rSRpBWAPRJMSacyl+mBa0vsbxvt4d0UmZbjgCq9kZanoxoTOLKssax5Ysu2k0N8CwvI7MlQ6qmhAeKHTXRgn3L0C6uQc/5RV8sMUNm6Stj/A7/x4wqHhlzVrlXERRK67bbi5nDcC0XP/NxVWTf9rpTEhf1nKn6M+VYOsEcpEZALVRWR8EleXw9fJT9dNhbAveDxvfsG9N6R63Ud1a1dd/biC4mWHGWuI/3aKns+/xjr0xyx4mbUo2Q2+AIExxPbndwVLg20kIDBn/CGx3//Zh5rulBwvcDFv4LU9iwc90Kd92eSTX0SVkM4E3Glxm0F3DLJ0B3A67F1sKpmpWtqToP0FDLx+hWo5R++KOHEDPFjfldk=

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

%LICENSE%
Apache-2.0

%ARCH%
any

%BUILDDATE%
1750041863

%PACKAGER%
LemonPie <lemonpie@artixlinux.org>

%DEPENDS%
python
python-z3-solver

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

%CHECKDEPENDS%
python-pytest