IMPLYBDDNODE(3) - manual page | Library functions

Computes a bdd that implies a conjonction of two bdd nodes.