Cesare Tinelli		tinelli@cs.uiowa.edu
George Hagen		ghagen@cs.uiowa.edu
Mike Decoster		mdecoste@cs.uiowa.edu
John Lee		jlee@cs.uiowa.edu
Eric Collins		elcollins@gmail.com
Derek Monner		dmonner@cs.uiowa.edu

with SATBOX by Hantao Zhang

