bdd_versionstr

char* bdd_versionstr ( void   )  Returns a text string with version information. This function returns a text string with information about the version of the bdd package. See also: bdd_versionnum

---