repo.or.cz
/
cl-cudd.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
emergency commit
[cl-cudd.git]
/
distr
/
dddmp
/
exp
/
5.bdd
blob
198f6bfa75a78714478bccd3364e5a74825bd607
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
14
1 T 1 0 0
15
2 24 5 1 -1
16
3 23 4 1 -2
17
4 22 3 3 -2
18
5 21 2 4 -2
19
6 23 4 1 -1
20
7 22 3 6 -1
21
8 21 2 7 -1
22
9 20 1 5 8
23
10 23 4 2 -1
24
11 22 3 2 10
25
12 21 2 11 2
26
13 23 4 2 -2
27
14 22 3 3 -13
28
15 21 2 4 14
29
16 20 1 12 15
30
17 19 0 9 -16
31
.end