Deprecated: Use of this version of Yices is deprecated. More information on our Applications Support and Retention Policy.Yices 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, BEARCloud 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 has a direct dependency on: GCCcore/10.2.0 GMP/6.2.0-GCCcore-10.2.0 gperf/3.1-GCCcore-10.2.0
This version of Yices is a direct dependent of: Maude/3.1-GCCcore-10.2.0
Last modified on 6th September 2021