Hex69中等健康指数ash-project/cruxLibrary for boolean satisfiability solving and expression manipulation.Elixir★ 13↓ 71.6K/月2026年7月17日自定义许可证2026年7月17日 · 指标 1.13.0
Go46存在风险健康指数xDarkicex/logicClassical, 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日 · 指标 1.13.0