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

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

Upload of the CUDD library.

File size: 1.9 KB
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 104
5.nvars 50
6.nsuppvars 16
7.suppvarnames DUMMY0 DUMMY1 DUMMY2 DUMMY3 DUMMY4 DUMMY10 DUMMY11 DUMMY12 DUMMY15 DUMMY16 DUMMY17 DUMMY18 DUMMY19 DUMMY20 DUMMY21 DUMMY22
8.ids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
9.permids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
10.auxids 0 1 2 3 4 10 11 12 15 16 17 18 19 20 21 22
11.nroots 1
12.rootids -104
13.nodes
141 T 1 0 0
152 22 15 1 -1
163 21 14 1 -2
174 20 13 1 3
185 19 12 1 4
196 20 13 3 1
207 21 14 1 2
218 20 13 1 7
229 19 12 6 8
2310 18 11 5 9
2411 17 10 1 10
2512 18 11 1 9
2613 17 10 1 12
2714 16 9 11 13
2815 20 13 7 -1
2916 21 14 2 -1
3017 20 13 16 -3
3118 19 12 15 -17
3219 21 14 2 1
3320 20 13 19 7
3421 19 12 6 20
3522 18 11 18 21
3623 17 10 1 22
3724 16 9 23 13
3825 18 11 18 9
3926 17 10 1 25
4027 16 9 26 13
4128 15 8 24 27
4229 12 7 28 27
4330 11 6 28 29
4431 11 6 28 27
4532 10 5 30 31
4633 4 4 14 32
4734 3 3 1 33
4835 2 2 1 34
4936 19 12 1 8
5037 18 11 5 36
5138 17 10 1 37
5239 16 9 38 1
5340 19 12 1 20
5441 18 11 18 40
5542 17 10 1 41
5643 16 9 42 1
5744 18 11 18 36
5845 17 10 1 44
5946 16 9 45 1
6047 15 8 43 46
6148 12 7 47 46
6249 11 6 47 48
6350 11 6 47 46
6451 10 5 49 50
6552 4 4 39 51
6653 3 3 52 1
6754 2 2 1 53
6855 1 1 35 54
6956 20 13 16 -1
7057 21 14 1 -1
7158 20 13 1 57
7259 19 12 56 -58
7360 18 11 59 -9
7461 17 10 1 -60
7562 19 12 56 -8
7663 18 11 62 -9
7764 17 10 1 -63
7865 16 9 61 64
7966 21 14 2 -2
8067 20 13 66 1
8168 20 13 16 -57
8269 19 12 67 68
8370 18 11 69 -21
8471 17 10 1 -70
8572 16 9 71 64
8673 18 11 69 -9
8774 17 10 1 -73
8875 16 9 74 64
8976 15 8 72 75
9077 12 7 76 75
9178 11 6 76 77
9279 11 6 76 75
9380 10 5 78 79
9481 4 4 65 80
9582 3 3 1 81
9683 2 2 1 82
9784 18 11 59 -36
9885 17 10 1 -84
9986 18 11 62 -1
10087 17 10 1 -86
10188 16 9 85 87
10289 18 11 69 -40
10390 17 10 1 -89
10491 16 9 90 87
10592 18 11 69 -36
10693 17 10 1 -92
10794 16 9 93 87
10895 15 8 91 94
10996 12 7 95 94
11097 11 6 95 96
11198 11 6 95 94
11299 10 5 97 98
113100 4 4 88 99
114101 3 3 100 1
115102 2 2 1 101
116103 1 1 83 102
117104 0 0 55 103
118.end
Note: See TracBrowser for help on using the repository browser.