Group :: Ciências/Matemática
RPM: z3
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 4.8.8-alt1
Data da compilação: 10 julho 2020, 07:53 ( 196.9 weeks ago )
Tamanho:: 3.07 Mb
Home page: https://github.com/Z3Prover/z3
Licença: MIT
Sumário: High-performance theorem prover
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 10 julho 2020, 07:53 ( 196.9 weeks ago )
Tamanho:: 3.07 Mb
Home page: https://github.com/Z3Prover/z3
Licença: MIT
Sumário: High-performance theorem prover
Descrição:
Z3 is a high-performance theorem prover being developed at Microsoft
Research.
Mantenedor currente: Aleksei Nikiforov Research.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- libz3
- libz3-debuginfo
- libz3-devel
- libz3-devel
- libz3-devel-docs
- python-module-z3
- python3-module-z3
- python3-module-z3
- z3
- z3-debuginfo