Hex
ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
自定义许可证2026年7月17日 · 指标 2.10.0
全部标签
目录标签
#sat-solver
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
4 条记录
npm
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
MPL-2.02026年8月2日 · 指标 2.10.0
Go
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
MIT2026年7月17日 · 指标 2.10.0
Go
contriboss/pubgrub-go
A comprehensive Go implementation of the PubGrub version solving algorithm with CDCL, semantic versioning, and enhanced error reporting
Apache-2.02026年8月23日 · 指标 2.10.0