content/tools/sat-smt/colibri.md

+++ date = 2025-06-07 draft = false title = 'Colibri' subtitle = 'SMT Solver' links = [ { title = "Homepage", url = "https://colibri.frama-c.com/", icon = 'fa-solid fa-home' }, { title = "Source Code", url = "https://git.frama-c.com/pub/colibrics/-/tree/master", icon = 'fa-brands fa-github' }, # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' } ] applications = ['SMT Solver'] developers = ['CEA'] licenses = ['MIT'] inputs = ['SMTLIB2'] interfaces = ['CLI'] maintenance = ['Actively Maintained']

techniques = ['CDCL']

publications = ['deMoura2008']

+++

Colibri is an SMT solver.