Усі теги
Тег каталогу

#sat-solver

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

4 записи
З тегом «sat-solver»Упорядковано за індексом здоров'я
Hex
84Відміннийіндекс здоров'я
ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
Elixir★ 13↓ 101.6K/міс9 вер. 2026 р.
Власна ліцензія9 вер. 2026 р. · метрики 2.10.0
npm
63Помірнийіндекс здоров'я
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
JavaScript★ 62↓ 13.5K/міс15 вер. 2026 р.
MPL-2.015 вер. 2026 р. · метрики 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★ 723 серп. 2026 р.
Apache-2.023 серп. 2026 р. · метрики 2.10.0
Go
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★ 09 вер. 2026 р.
MIT9 вер. 2026 р. · метрики 2.10.0