Sisyphus repositório
Última atualização: 25 agosto 2019 | SRPMs: 17347 | Visitas: 14705275
en ru br
ALT Linux repositórios
S:4.5.0-alt2

Group :: Ciências/Matemática
RPM: z3

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 4.5.0-alt2
Data da compilação: 2 agosto 2018, 11:16 ( 55.5 weeks ago )
Tamanho:: 2.41 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

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • libz3
  • libz3-debuginfo
  • libz3-devel
  • libz3-devel-docs
  • python-module-z3
  • python3-module-z3
  • z3
  • z3-debuginfo
ACL:
     
    projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    mantenedor atual: Michael Shigorin
    mantenedor da tradução: Fernando Martini aka fmartini © 2009