protocon
Acknowledgments
Resources
- Superior, a high performance computing cluster at Michigan Technological University, was used in obtaining results.
- This work is sponsored by the NSF grant CCF-1116546.
Any opinions, findings, and conclusions or recommendtions expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.
Software
- espresso-ab is optionally used for logic minimization (spawned process).
- GLU 2.4 provides BDD/MDD manipulation (statically linked).
- peg/leg generates an input file parser (preprocessing step).
- Qt 5 is used by the GUI (dynamically linked).