Installing JavaBDD

Download the binary archive for your system and extract the files. If you want to use the native BuDDy library, put the buddy.dll (on Windows) or (on Unix) somewhere in your library path or in the directory you will execute from. (JavaBDD will automatically search the current directory for the native library, so there is no need to specify the current directory in the "java.library.path" system property.) Add the JavaBDD jar file to your Java class path if you want to compile and/or run with JavaBDD.

The JavaBDD jar file contains a simple example that solves an NxN queens problem. You can run this example by simply typing:

java -jar javabdd-1.0b2.jar N

where N is the size of the board (e.g. 8).