Documentation

Using Yices

• Running Yices from the Command Line
• Input Language
• Small Examples
• API Lite (Example)
• API (Example)

Slides

• Yices 1.0: An Efficient SMT solver (SMT-COMP'06 presentation)
• Yices Tutorial (AFM'06) (Examples used in the tutorial)
• A Fast Linear-Arithmetic Solver for DPLL(T)

Technical Background

• Tool paper describing Yices.
• CAV'06 paper describing the linear arithmetic module used in Yices (SpringerLink).
• Technical Report describing in detail the linear arithmetic module used in Yices.
• System Description submitted to SMT-COMP'06.

Previous Version

• An early version of Yices participated in SMT-COMP'05. Here is the system description for this prototype.

Last modified: Thu 10 Dec 2009 10:43 PST