Yices 2.6.2-GCCcore-10.2.0

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

2021a

More Information

For more information visit the Yices website.

Dependencies

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