This project was created and is being maintained by:

Tyler Sorensen:
t.sorensen@utah.edu

under the supervision of:

Professor Ganesh Gopalakrishnan:
http://www.cs.utah.edu/~ganesh
Professor Zvonimir Rakamaric:
http://www.zvonimir.info/
In the Gauss Group at University of Utah

Contributors to this project:

Web Interface by:

Jinggong Zheng:
kingsleyzheng0716@gmail.com
Bruce Bolick:
bruce.bolick@utah.edu
Mohammed S. Al-Mahfoudh:
mohammed.mahfoudh@gmail.com

BDD Minimization by:

George Richards:
george.richards@utah.edu
Eric Saupe:
ericsaupe@gmail.com