source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/0.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: 228 bytes
Line 
1.ver DDDMP-2.0
2.mode A
3.varinfo 0
4.nnodes 5
5.nvars 50
6.nsuppvars 3
7.suppvarnames DUMMY1 DUMMY2 DUMMY3
8.ids 1 2 3
9.permids 1 2 3
10.auxids 1 2 3
11.nroots 1
12.rootids -5
13.nodes
141 T 1 0 0
152 3 2 1 -1
163 2 1 1 2
174 2 1 1 -2
185 1 0 3 4
19.end
Note: See TracBrowser for help on using the repository browser.