source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/0.add @ 4597

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

Upload of the CUDD library.

File size: 254 bytes
Line 
1.ver DDDMP-2.0
2.add
3.mode A
4.varinfo 0
5.nnodes 5
6.nvars 3
7.nsuppvars 2
8.suppvarnames DUMMY1 DUMMY2
9.orderedvarnames DUMMY0 DUMMY1 DUMMY2
10.ids 1 2
11.permids 1 2
12.auxids 1 2
13.nroots 1
14.rootids 5
15.nodes
161 T 1 0 0
172 T 2 0 0
183 T 0 0 0
194 2 1 2 3
205 1 0 1 4
21.end
Note: See TracBrowser for help on using the repository browser.