# Generated by makepkg 7.0.0
# using fakeroot version 1.36
pkgname = python-pysmt
pkgbase = python-pysmt
xdata = pkgtype=pkg
pkgver = 0.9.6-2
pkgdesc = A solver-agnostic library for SMT Formulae manipulation and solving.
url = https://pypi.org/project/pysmt/#files
builddate = 1734900839
packager = Levon Kayan <noptrix@nullsecurity.net>
size = 4866784
arch = any
license = Apache
makedepend = python-setuptools
