bdd_versionnum

int bdd_versionnum ( void   )  Returns the version number of the bdd package. This function returns the version number of the bdd package. The number is in the range 10-99 for version 1.0 to 9.9. See also: bdd_versionstr

---