全部标签
目录标签

#cdcl

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

2 条记录
标签为“cdcl”按健康指数排序
Go
45薄弱健康指数
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 02026年7月17日
MIT2026年7月17日 · 指标 2.10.0
Go
44薄弱健康指数
contriboss/pubgrub-go
A comprehensive Go implementation of the PubGrub version solving algorithm with CDCL, semantic versioning, and enhanced error reporting
Go★ 72026年8月23日
Apache-2.02026年8月23日 · 指标 2.10.0