# Yices 2 | Formal Methods Tools
Yices is an SMT solver developed by SRI International. It is widely used for checking the satisfiability of logical formulas over various theories. It supports
Keywords: Formal Methods Tools

# Yices 2

SMT Solver

- Homepage
- Source Code

## At a Glance

Applications | SMT Solver SAT Solver
Developers | SRI International
Inputs | SMTLIB2 Yices 2
Interfaces | CLI Python Rust
Licenses | GPLv3
Maintenance | Actively Maintained

## Description

Yices is an SMT solver developed by SRI International. It is widely used for checking the satisfiability of logical formulas over various theories. It supports the SMT-LIB standard and its own input language, and provides APIs for several programming languages, making it suitable for research and industrial applications in software and hardware verification.

## APIs and Bindings

This tool is available through the following interfaces:

- General API: Yices API Reference
- Python bindings: yices2 PyPI package
- Rust bindings: yices2 crate on crates.io

## Publications

- Yices 2.2 (July 2014) by Dutertre, Bruno | Appears in Computer-Aided Verification (737-744) | Volume 8559 | Published by Springer | 10.1007/978-3-319-08867-9_49