Qingyang Chen, Aaron Shim We worked on it together (pair programming) The same Scala and Z3 Everything after getting parsing to work (mostly actually learning how to do parsing with Scala) was fairly straightforward.