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