JJS-BDD 0.1 documentation
The documentation can be found here
JJS examples
How to use SOBDDFunctions: source
Operators on SOBDDFunctions: source
BDD operations on SOBDDFunctions: source
Operations on BDDs: source
How to use SOBDDFunctionContainer: source
Arithmetic and logik with SOBDDFunctionContainer: source
Solution to the n-queens problem with BDDs: source
Grouping and variable ordering: source
IO (XML,binary) on functions and functioncontainer: source
Compiling: g++ -I/usr/include/jjsbdd -lsobdd -O3 -Wall -o (bin-file) (src-file)