PyPI · crates.io
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Apache-2.05 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#binary-decision-diagrams
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
2 записи
Go
xDarkicex/gobdd
Zero-allocation Binary Decision Diagrams (OBDD) for Go — full Buddy parity with off-heap memory, level indirection, distinct types, and modal logic integration.
MIT12 серп. 2026 р. · метрики 2.10.0