全部标签
目录标签

#binary-decision-diagrams

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

2 条记录
标签为“binary-decision-diagrams”按健康指数排序
PyPI · crates.io
73良好健康指数
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Rust★ 92↓ 1,580/月2026年9月5日
Apache-2.02026年9月5日 · 指标 2.10.0
Go
44薄弱健康指数
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.
Go★ 02026年8月12日
MIT2026年8月12日 · 指标 2.10.0