source: icGREP/icgrep-devel/cudd-2.5.1/dddmp/exp/s27RP1.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: 190 bytes
Line 
1# MONO
2.ver DDDMP-1.0
3.mode A
4.varinfo 3
5.nnodes 3
6.nvars 10
7.nsuppvars 2
8.varnames G5 G6
9.ids 4 5
10.permids 4 6
11.auxids 4 5
12.nroots 1
13.rootids -3
14.nodes
151 T 1 0 0
162 5 1 1 -1
173 4 0 2 -1
18.end
Note: See TracBrowser for help on using the repository browser.