Create more meaningful example(s) for BDDs
We should add some examples showing the capabilities of the different BDDs. Currently we have most prominently the NQueens example. Another trivial example would be the solving of a Sudoku. But we could also add examples that show the different strengths of BDDs.