CNF/DNF are built in ZDD with almost zero cost

[kuniaki.mukai]

@j4n_bur53

@kuniaki.mukai

rect(21, 21) by Minato’s group

Do you have a paper or some other reference.
Usually these things have anyway a closed formula.

The idea to have pre-compiled ZDD, BDD, etc…
could be realized by the ISO core standard if-then-else

The number of undirected paths which connects (0,0) and (21,21) walking on integer nodes (i, j) ( 0=< i, j =<21 ).