source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/4.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: 1018 bytes
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 3
4.nnodes 35
5.nvars 50
6.nsuppvars 15
7.suppvarnames V2 V3 V8 V9 V10 V12 V22 V23 V24 V37 V38 V39 V48 V49 V50
8.orderedvarnames V1 V2 V3 V4 V5 V6 V7 V8 V9 V10 V11 V12 V13 V14 V15 V16 V17 V18 V19 V20 V21 V22 V23 V24 V25 V26 V27 V28 V29 V30 V31 V32 V33 V34 V35 V36 V37 V38 V39 V40 V41 V42 V43 V44 V45 V46 V47 V48 V49 V50
9.ids 1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
10.permids 1 2 7 8 9 11 21 22 23 36 37 38 47 48 49
11.auxids 3 5 15 17 19 23 43 45 47 73 75 77 95 97 99
12.nroots 1
13.rootids -35
14.nodes
151 T 1 0 0
162 V50 14 1 -1
173 V49 13 1 2
184 V48 12 3 1
195 V48 12 1 -1
206 V48 12 2 1
217 V39 11 5 -6
228 V49 13 1 -1
239 V48 12 8 1
2410 V39 11 9 4
2511 V38 10 7 -10
2612 V37 9 1 -11
2713 V38 10 5 -9
2814 V37 9 1 -13
2915 V24 8 12 14
3016 V37 9 1 -7
3117 V37 9 1 -5
3218 V24 8 16 17
3319 V23 7 15 18
3420 V22 6 19 1
3521 V23 7 14 17
3622 V22 6 21 1
3723 V12 5 20 22
3824 V10 4 23 1
3925 V22 6 18 1
4026 V12 5 20 25
4127 V10 4 26 1
4228 V9 3 24 27
4329 V12 5 20 1
4430 V10 4 29 1
4531 V10 4 20 1
4632 V9 3 30 31
4733 V8 2 28 32
4834 V3 1 4 33
4935 V2 0 1 34
50.end
Note: See TracBrowser for help on using the repository browser.