Hex
ash-project/crux
Library for boolean satisfiability solving and expression manipulation.
Custom licenseJul 17, 2026 · metrics 2.10.0
All tags
Catalogue tag
#sat-solver
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
4 records
npm
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
MPL-2.0Aug 2, 2026 · metrics 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.
MITJul 17, 2026 · metrics 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.0Aug 23, 2026 · metrics 2.10.0