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

Adds a new variable in the bdd system.