Add BDD Variants for CUDD and Sylvan
SSoelvsten opened this issue · comments
Steffan Sølvsten commented
With #110 , the benchmarks differentiate between BDDs with and without complement edges. The BDD packages CUDD and Sylvan should also be able to fake support BDDs by means of their Multi-terminal BDDs (ADDs / MTBDDs). This would be interesting to include, to be able gauge the effectiveness of this optimization in each benchmark.
Nils Husung commented
I think this only is possible for CUDD. As I read it, Sylvan implements MTBDDs with complement edges:
Steffan Sølvsten commented
I asked Tom, and he confirmed one can do it with Integer leaves 0
and 1
rather than the Boolean false
and true
.