The documentation can be found

here

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)