Tue Oct 21 13:25:33 MET DST 1997
There is a homepage with more information.
The 1997 version is a major revision of earlier versions. The presentation of the algorithms is based on a global table of nodes, making the presentation simpler and more in line with state-of-the-art BDD packages.
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.
Earlier versions of the lecture notes from 1995 and 1996 are available upon request (by e-mail).