Can someone give a quick explanation of why this is important? It looks interesting but that it would take a lot of background to really understand it.
Hi, author here! Also positively surprised to see this on HN haha
We (well mainly Guy, if he's around) are working on an implementation, which will be made open source at some point (still rounding the edges a bit). We have very encouraging preliminary results, it does compare well wrt SDD and CUDD. There is still some ideas we would like to try, specifically for model counting.
Can someone give a quick explanation of why this is important? It looks interesting but that it would take a lot of background to really understand it.
Positively surprised to see stuff like these on HN first page!
If any author is around, do you have an implementation that can be compared with CUDD and similar BDD libraries?
Hi, author here! Also positively surprised to see this on HN haha
We (well mainly Guy, if he's around) are working on an implementation, which will be made open source at some point (still rounding the edges a bit). We have very encouraging preliminary results, it does compare well wrt SDD and CUDD. There is still some ideas we would like to try, specifically for model counting.