python3-z3
| Açıklama | The Z3 Theorem Prover. |
| Kategori | programming.language.python3 |
| Repo | main |
| Versiyon | 4.12.2 |
| Sitesi | https://github.com/Z3Prover/z3 |
| Kaynak Dosyası | |
| İndir: python3-z3-4.11.2-6-p2-x86_64.pisi python3-z3-4.12.1-7-p2-x86_64.pisi python3-z3-4.12.2-8-p2-x86_64.pisi |
|