z3

Competing	no
Single Query Track	ABV, cc_la, cc_na, BV, machine, arith, QF_machine_cc_bv, QF_cc_la, QF_cc_na, QF_cc, QF_BV, QF_machine_fp, QF_lia, QF_lra, QF_nia, QF_nra, cc, cc_machine
Preliminary ID	28814
Final ID	28814
Seed	0
System Description
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/Z3Prover/z3/wiki
Team Members
Contact