Download the binary archive for your system and extract the files.
If you want to use the native BuDDy library, put the
(on Windows) or
libbuddy.so (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
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
N is the size of the board (e.g.