yices 2.6.4

Satisfiability modulo theories solver

Yices is a solver for SMT problems. It can process input in SMT-LIB format or its own s-expression-based format.

Outputs: out
Website: https://yices.csl.sri.com/
Licenses: GPL 3+
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

Install yices 2.6.4 as follows:

guix install yices@2.6.4

Or install the latest version:

guix install yices

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.