?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
emergency commit
[cl-cudd.git] / distr / dddmp / exp / zero.bdd
blob4c229f75767c410aaf6a67121c9a53f9289089c5
1 .ver DDDMP-1.0\r
2 .mode A\r
3 .varinfo 0\r
4 .nnodes 1\r
5 .nvars 100\r
6 .nsuppvars 0\r
7 .ids\r
8 .permids\r
9 .nroots 1\r
10 .rootids -1\r
11 .nodes\r
12 1 T 1 0 0\r
13 .end\r
Common Lisp wrappers for CUDD library (Colorado University Decision Diagrams) using swig/cffi