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)