This project was created and is being maintained by:

Tyler Sorensen:

under the supervision of:

Professor Ganesh Gopalakrishnan:
Professor Zvonimir Rakamaric:
In the Gauss Group at University of Utah

Contributors to this project:

Web Interface by:

Jinggong Zheng:
Bruce Bolick:
Mohammed S. Al-Mahfoudh:

BDD Minimization by:

George Richards:
Eric Saupe: