debugging a lot harder. One of those errors was malformed dot output for
printing BDDs. In the meantime we have made a pullrequest to fix that.
Secondly, due to the relatively short introduction to BDDs the gap between our
knowlegde and the knowledge required to build such a solver is quite big. This
debugging a lot harder. One of those errors was malformed dot output for
printing BDDs. In the meantime we have made a pullrequest to fix that.
Secondly, due to the relatively short introduction to BDDs the gap between our
knowlegde and the knowledge required to build such a solver is quite big. This