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

#sat-solver

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

4 записи
З тегом «sat-solver»Упорядковано за індексом здоров'я
Hex
81Відміннийіндекс здоров'я
ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
Elixir★ 13↓ 71.6K/міс17 лип. 2026 р.
Власна ліцензія17 лип. 2026 р. · метрики 2.10.0
npm
62Помірнийіндекс здоров'я
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
JavaScript★ 62↓ 16K/міс2 серп. 2026 р.
MPL-2.02 серп. 2026 р. · метрики 2.10.0
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★ 017 лип. 2026 р.
MIT17 лип. 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