source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/5.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: 452 bytes
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 17
5.nvars 50
6.nsuppvars 6
7.suppvarnames DUMMY19 DUMMY20 DUMMY21 DUMMY22 DUMMY23 DUMMY24
8.ids 19 20 21 22 23 24
9.permids 19 20 21 22 23 24
10.auxids 19 20 21 22 23 24
11.nroots 1
12.rootids 17
13.nodes
141 T 1 0 0
152 24 5 1 -1
163 23 4 1 -2
174 22 3 3 -2
185 21 2 4 -2
196 23 4 1 -1
207 22 3 6 -1
218 21 2 7 -1
229 20 1 5 8
2310 23 4 2 -1
2411 22 3 2 10
2512 21 2 11 2
2613 23 4 2 -2
2714 22 3 3 -13
2815 21 2 4 14
2916 20 1 12 15
3017 19 0 9 -16
31.end
Note: See TracBrowser for help on using the repository browser.