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