90 followers
There is a new BDD library: PJBDD by @beyer_dirk et al. Paper (ATVA[B]): https://t.co/WHSlyx0nhI Gitlab: https://t.co/Wfj5sUa4ze * Apache 2.0 License * BDD, ZDD, ChDDs * multithreaded, thread safe I wrote a small thread of my playtime with PJBDD: