Fedora Packages

yices

SMT solver

Yices 2 is an efficient 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 the Yices 2 specification language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software.

Releases Overview

Release Stable Testing
Fedora Rawhide 2.6.4-12.fc41 -
Fedora 40 2.6.4-12.fc40 -
Fedora 39 2.6.4-8.fc39 -
Fedora 38 2.6.4-6.fc38 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at yices dash maintainers at fedoraproject dot org.



Sources on Pagure