| Interface | Description |
|---|---|
| Queens |
| Class | Description |
|---|---|
| Adder |
Adder.java, converted from BuDDy:s source:
|
| BDDQueens |
The N Queens on a N * N chessboard...
|
| ConfigExample |
This examples shows how the configuration of the BDD package can
affect the running-time performance of an application.
|
| Fibonacci |
A simple example that has nothing to do with BDDs :(
|
| Milner |
BDD simulation of N milner cyclers.
|
| Simple1 |
This is the most simple BDD example.
|
| Simple2 |
This is the second simple BDD example.
|
| Simple3 |
This is the third simple BDD example.
|
| Solitaire |
This is the solitare.cxx example copied from BuDDy source distribution
convert to Java and JDD:
Note: you can not run this example with the default JVM parameters (8 million nodes would require at least 256 MB RAM)!! Jorn Lind-Nielsen Included this in BuDDy as very good pedagogic example on sequential models. |
| ZDDCSPQueens |
N Queen with Z-BDDs and the CSP procedures.
|
| ZDDQueens |
N Queen with Z-BDDs.
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.