Group :: Sciences/Mathematics
RPM: yices
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 2.3.0-alt4
Build date: 26 march 2021, 11:03 ( 160.6 weeks ago )
Size: 1827.76 Kb
Home page: http://yices.csl.sri.com/
License: Noncommercial use only
Summary: The Yices SMT Solver
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 26 march 2021, 11:03 ( 160.6 weeks ago )
Size: 1827.76 Kb
Home page: http://yices.csl.sri.com/
License: Noncommercial use only
Summary: The Yices SMT Solver
Description:
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.
Current maintainer: 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.
List of contributors List of rpms provided by this srpm:
- libyices
- libyices-debuginfo
- libyices-devel
- yices
- yices-debuginfo
- yices-docs