Group :: Ciências/Matemática
RPM: yices
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 2.3.0-alt4
Data da compilação: 26 março 2021, 11:03 ( 160.0 weeks ago )
Tamanho:: 1827.76 Kb
Home page: http://yices.csl.sri.com/
Licença: Noncommercial use only
Sumário: The Yices SMT Solver
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 26 março 2021, 11:03 ( 160.0 weeks ago )
Tamanho:: 1827.76 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) 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.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- libyices
- libyices-debuginfo
- libyices-devel
- yices
- yices-debuginfo
- yices-docs