source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/s27deltaDddmp1.bdd.bis @ 4597

Last change on this file since 4597 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 447 bytes
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 16
5.nvars 10
6.nsuppvars 7
7.suppvarnames G0 G1 G2 G3 G5 G6 G7
8.orderedvarnames G0 G1 G2 G3 G5 G6 G7 DUMMY7 DUMMY8 DUMMY9
9.ids 0 1 2 3 4 5 6
10.permids 0 1 2 3 4 5 6
11.auxids 0 1 2 3 4 5 6
12.nroots 3
13.rootids 6 -13 -16
14.nodes
151 T 1 0 0
162 6 6 1 -1
173 4 4 1 2
184 3 3 3 1
195 1 1 1 4
206 0 0 5 -1
217 5 5 1 -1
228 4 4 1 -7
239 5 5 1 -2
2410 4 4 1 -9
2511 3 3 10 8
2612 1 1 8 11
2713 0 0 5 12
2814 2 2 1 -1
2915 2 2 1 -2
3016 1 1 14 15
31.end
Note: See TracBrowser for help on using the repository browser.