Ph.D Student in Robotics at University of Michigan - Ann Arbor.
Solving the queens game from linkedin using the Theorem Prover z3.
z3
