mc2

Competing	yes
Single Query Track	QF_LRA, QF_UFLRA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	33279
Final ID	33279
Seed	750
System Description	MC2
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/c-cube/mc2
Team Members	Simon Cruanes, Guillaume Bury