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
/
0.add
blob
ba6bb3dcf609ebb0fa5db89ac2e37e9834ed9d09
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
16
1 T 1 0 0
17
2 T 2 0 0
18
3 T 0 0 0
19
4 2 1 2 3
20
5 1 0 1 4
21
.end