< Retour au sommaire

Présentation générale de Colibri2

François Bobot le

Lieu: salle 1073, bât 862

Suivre en visio

General Presentation of Colibri2

Colibri2 is a reimplementation of the Colibri CP solver accepting SMTLib goals in OCaml. The presentation will present different choices made:

• the main engine and architecture of the solver
• input format, dolmen parser, and link with Why3
• search strategy
• quantifier instanciation
• supported theories
• use of Algebraic numbers in place of Rationals