https://github.com/jsfpdn/sdd-rs

Bottom-up sentential decision diagram compiler.

decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram

Last synced: 29 Jul 2025