Tue Oct 21 13:25:33 MET DST 1997
There is a homepage with more information.
In teaching, the tool BED for constructing and manipulating BDDs interactively might be useful. It is available upon request (by e-mail). There is more information on BEDs on the BED homepage.
An efficient BDD-package written in C with both a Mosml and a C++ interface called BuDDy has been developed by Jørn Lind-Nielsen. Available as a project BuDDy at SourceForge. Another popular package is CuDD developed by Fabio Somenzi.