emergency commit
[cl-cudd.git] / distr / dddmp / exp / 0.bdd
blob5092978eff81b6640222746f00c72fcfd9822db9
1 .ver DDDMP-2.0
2 .mode A
3 .varinfo 0
4 .nnodes 5
5 .nvars 50
6 .nsuppvars 3
7 .suppvarnames DUMMY1 DUMMY2 DUMMY3
8 .ids 1 2 3
9 .permids 1 2 3
10 .auxids 1 2 3
11 .nroots 1
12 .rootids -5
13 .nodes
14 1 T 1 0 0
15 2 3 2 1 -1
16 3 2 1 1 2
17 4 2 1 1 -2
18 5 1 0 3 4
19 .end