python-pysmt-0.9.5-4 Actions Panel View Package Sources View Package Changes Flag package out-of-date Architecture: any Repository: world Description: Solver-agnostic library for SMT Formulae manipulation and solving License(s): Apache-2.0 Upstream URL: https://github.com/pysmt/pysmt Size: 0.62 MB Installed Size: 4.61 MB Build Date: 2024-04-04 16:55:49 Package Dependencies (2) python python-z3-solver Required by (1) python-claripy Package Optional Dependencies (0) Package Makepkg Dependencies (4) python-build python-installer python-wheel python-setuptools