This section provides access to current research tools that use
heuristic or non-heuristic Decision Diagram minimization.
Computations are done on a computer cluster, with sophisticated
scheduling, so that benchmarks with a significant size can be
computed with the tools.
There is also a BDD calculator and visualization tools that
allow visual demonstration of BDD methods for small examples.