An efficient manipulation package for Biconditional Binary Decision Diagrams.

Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Browse the full DATE paper archive.