Skip to content

Latest commit

 

History

History
16 lines (11 loc) · 906 Bytes

thanks.md

File metadata and controls

16 lines (11 loc) · 906 Bytes

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.

NSF logo 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).