SIMPBDDNODEDCON(3) - manual page | Library functions

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