Now there is a simpler, more compact way to run bddshell or any of the BDD utilities. You can build one big jar (OBJ), via "make obj" and put that in your classpath, then run bddshell from anywhere.
The real benefit of this is we can release snapshot JAR's, so you can be up and running pretty quickly. Hopefully I'll get the OBJ perfected soon and release one within a few days. Right now, its available only through CVS checkout.
Performed initial import to CVS. You now have three options for downloading bddshell: 1) bddshell-XX.tar.gz: the basic release 2) bddshell-full-XX.tar.gz: the basic release plus the source code of all the other projects (CVS get already performed as of the day of the release) or 3) CVS.