Authors
of the Brown PLT research group.
Contact

Please feel free to email Michael Carl Tschantz (mtschant 'at' cs.brown.edu) with any questions or bugs.

Acknowledgments

The authors wish to acknowledge Fabio Somenzi for providing CUDD, an ADD package that Margrave uses.