||For his help in maintaining the toolkit.
|D. Michael Miller
||For his help in implementing the adding lines optimization method and many useful comments.
|Eleonora Schönborn and Bastian Blachetta
||For their help in implementing the RevLib simulation file format.
||Author of the BDD-Package CUDD, which is used by RevKit
||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
||For the design of this webpage.