mv-sdd
Multi-Valued Sentential Decision Diagrams — a knowledge-compilation library with k-ary categorical fan-out at vtree leaves
Activity
- Latest release
- 1d ago
- Total releases
- 2
- Cadence
- ~3 months
- Last 12 months
- 2
Details
- License
- Apache-2.0
- First release
- Jun 23, 2026
Releases
| Version | Released | |
|---|---|---|
0.1.0b2
pre
|
0.1.0b2
pre
Dependencies (1)
|
|
0.1.0b1
pre
|
0.1.0b1
pre
Dependencies (1)
|