?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
emergency commit
[cl-cudd.git] / distr / dddmp / exp / one.bdd
blob836566fbe4ca5b598d6eaab98a000f83c06056c7
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
12 1 T 1 0 0
13 .end
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi