Sisyphus repositório
Última atualização: 27 setembro 2020 | SRPMs: 17701 | Visitas: 19302923
en ru br
ALT Linux repositórios
S:4.8.8-alt1

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

 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 ( 11.4 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

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
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