| Architecture: | any |
|---|---|
| Repository: | extra |
| Description: | Solver-agnostic library for SMT Formulae manipulation and solving |
| Upstream URL: | https://github.com/pysmt/pysmt |
| License(s): | Apache-2.0 |
| Installed Size: | 4.8MiB |
| Build Date: | Sun Jun 15 15:32:23 2025 UTC |
Copyright ©2009-2022 Arch Linux ARM
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.
The Arch Linux™ name and logo are used under permission of the Arch Linux Project Lead.