zdd
Topic | Replies | Views | Activity | |
---|---|---|---|---|
The number of paths of the rectangular grid graph 13 x 13 | 15 | 608 | January 14, 2024 | |
A logical reading in a specification on division on family of sets similar to division by 0 | 9 | 339 | November 25, 2022 | |
A simple but powerful generalization of path counting in rectangular grid graphs | 0 | 308 | October 31, 2022 | |
A small extension to ZDD for sets and lists to coexist enumerates permutations of a list of length 13 | 0 | 317 | October 24, 2022 | |
Pack pac updated to pac-1.6.8 | 0 | 258 | October 7, 2022 |