BDDTOABLCCT(3) - Linux manual page online | Library functions

Converts a BDD into an ABL within a circuit.