目录标签

#cdcl

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

3 条记录

标签为“cdcl”按健康指数排序

crates.io · npm · PyPI

73良好健康指数

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

Rust★ 57↓ 8,800/月2026年9月11日

Apache-2.02026年9月11日 · 指标 2.10.0

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

42薄弱健康指数

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年9月9日

MIT2026年9月9日 · 指标 2.10.0