COLIBRI

Competing	yes
Single Query Track	QF_ABVFP, QF_ABVFPLRA, QF_AUFBVFP, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFFP
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	44384
Final ID	44384
Seed	413
System Description	COLIBRI: SMT solving with CP
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://colibri.frama-c.com
Team Members	Bruno Marre, François Bobot, Zakaria Chihani