Please check your QT-Version. The GUI only works
with QT>=3.3.x and KDE 3.2.x
The library can be used wherever you want to use BDD's.
For further information please have a look at the documentation.
At the beginng the GUI was just designed for debugging
purposes. But it became bigger and more powerful.
Now you can use the GUI for teaching how BDD work, debugging,
developing algorithms, ...
locate and link result in local directory
(i.e.: ln -s /usr/share/libtool/
Some debs must be installed to compile the jjs-bdd package correctly.
These are:
libguile-dev (for aclocal)
autoconf (actually it is autoconf-2.59)