Yices 2.6.2-GCCcore-10.2.0

Unsupported: Use of this version of Yices is not supported. 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, BEAR Cloud VMs, and CaStLeS VMs):

module load bear-apps-unsupported/handbuilt/2019
module load Yices/2.6.2-GCCcore-10.2.0

BEAR Apps Version


More Information

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

Required By

This version of Yices is a direct dependent of: Maude/3.1-GCCcore-10.2.0

Last modified on 6th September 2021