COLIBRI

Competing	yes
Single Query Track	QF_ABVFP, QF_ABVFPLRA, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFFP
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	28309
Final ID	28737
Seed	101
System Description	COLIBRI
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://soprano-project.fr/software.html
Team Members	Bruno Marre, François Bobot, Zacharia Chihani