python-pysmt
Paket-Details
| Name | python-pysmt |
|---|---|
| Version | 0.9.6-2 |
| Beschreibung | Solver-agnostic library for SMT Formulae manipulation and solving |
| URL | https://github.com/pysmt/pysmt |
| Lizenzen | Apache-2.0 |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Jakub Klinkovský |
| Erstellt am | 19.12.2025 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | python-pysmt-0.9.6-2-x86_64.pkg.tar.zst |
| PGP-Signatur | python-pysmt-0.9.6-2-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 654.2 KiB |
| Installations-Größe | 4.8 MiB |
| Beliebtheit |