Hex
ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
Licencia propia17 jul 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#sat-solver
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
4 registros
npm
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
MPL-2.02 ago 2026 · métricas 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.
MIT17 jul 2026 · métricas 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.023 ago 2026 · métricas 2.10.0