# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = python-pysmt
pkgbase = python-pysmt
xdata = pkgtype=pkg
pkgver = 0.9.6-1
pkgdesc = Solver-agnostic library for SMT Formulae manipulation and solving
url = https://github.com/pysmt/pysmt
builddate = 1750001543
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 4960655
arch = any
license = Apache-2.0
depend = python
depend = python-z3-solver
makedepend = python-build
makedepend = python-installer
makedepend = python-wheel
makedepend = python-setuptools
checkdepend = python-pytest
