Saves a bdd to a file specified by filename.
Saves the nodes used by r to the file named fname. In the last case the file will be truncated and opened for writing.
- See also:
- bdd_save, bdd_load
- Returns:
- Zero on success, otherwise an error code from bdd.h.
