1. Arlen Cox
  2. z3

Source

z3 / src / muz_qe / README

muZ and Quantifier Elimination modules