source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/one.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: 125 bytes
Line 
1.ver DDDMP-1.0
2.mode A
3.varinfo 0
4.nnodes 1
5.nvars 100
6.nsuppvars 0
7.ids
8.permids
9.nroots 1
10.rootids 1
11.nodes
121 T 1 0 0
13.end
Note: See TracBrowser for help on using the repository browser.