Acknowledgment

Acknowledgment

We are indebted to the following people for providing tools and/or support, which significantly helped us developing RevKit:

  • Fabio Somenzi: Author of the BDD-Package CUDD, which is used by RevKit
  • Wolfgang Günther: Author of a parser for CUDD, which is used by RevKit
  • Niklas Een and Niklas Sörensson: Authors of the SAT solver MiniSAT, which is used by RevKit
  • Andreas Hett, Harry Hengster, and Bernd Becker: Co-authors of the OKFDD-Package PUMA, which is used by RevKit

Generated on Tue Dec 21 2010 21:52:13 for RevKit by doxygen 1.7.1