Yices 2.6.2-GCCcore-10.2.0Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, real and integer arithmetic, bitvectors, scalar types, and tuples. Yices 2 supports both linear and nonlinear arithmetic.
Accessing Yices 2.6.2-GCCcore-10.2.0
To load the module for Yices 2.6.2-GCCcore-10.2.0 please use this command on the BEAR systems (BlueBEAR, BEAR Cloud VMs, and CaStLeS VMs):
module load Yices/2.6.2-GCCcore-10.2.0
BEAR Apps Version
For more information visit the Yices website.
This version of Yices is a direct dependent of: Maude/3.1-GCCcore-10.2.0
Last modified on 6th September 2021