SIMPBDDNODEDCOFF(3) - manual page | Library functions

Simplifies a bdd with don't cares on its off-set part.