z3-mv

Competing	no
Single Query Track
Incremental Track
Unsat Core Track
Model Validation Track	QF_BV, QF_IDL, QF_RDL, QF_LIA, QF_LRA, QF_LIRA, QF_UF, QF_UFBV, QF_UFIDL, QF_UFLIA, QF_UFLRA
Cloud Track
Parallel Track
Preliminary ID
Final ID	33758
Seed	0
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/Z3Prover/z3/wiki
Team Members