Sisyphus repositório
Última atualização: 15 setembro 2019 | SRPMs: 17432 | Visitas: 15100375
en ru br
ALT Linux repositórios
S:2.3.0-alt3

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

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 2.3.0-alt3
Data da compilação: 19 fevereiro 2019, 22:08 ( 29.7 weeks ago )
Tamanho:: 1827.87 Kb

Home page:   http://yices.csl.sri.com/

Licença: Noncommercial use only
Sumário: The Yices SMT Solver
Descrição:

Yices 2 is an SMT solver that decides the satisfiability of formulas
containing uninterpreted function symbols with equality, linear real and
integer arithmetic, bitvectors, scalar types, and tuples.

Yices 2 can process input written in the SMT-LIB notation (both versions
2.0 and 1.2 are supported). Alternatively, you can write specifications
using Yices 2's own specification language, which includes tuples and
scalar types. You can also use Yices 2 as a library in your software.

Mantenedor currente: Eugeny A. Rostovtsev (REAL)

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • libyices
  • libyices-debuginfo
  • libyices-devel
  • yices
  • yices-debuginfo
  • yices-docs
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