🚧 This site is a work in progress. Don’t be shy to submit an issue, or fork it yourself 🚧

Formal Methods Tools

Tools
Data
About

Colibri

SMT Solver

Homepage
Source Code

At a Glance

Applications	SMT Solver
Developers	CEA
Inputs	SMTLIB2
Interfaces	CLI
Licenses	MIT
Maintenance	Actively Maintained

Description

Colibri is an SMT solver.

Help improve this page!
Submit an issue or pull request.

Updated 7 June 2025

Contribute | About | License | Privacy

© Copyright 2025. An open-source project.