G
gophersat
gophersat, a SAT solver in Go
Project.
Catalog snapshot
- License
- MIT
- Platforms
- Linux
- Docker
- No
- Commercial use
- Allowed
- Stars
- 387
- Language
- Go
- Last commit
Repository health snapshot: 24 forks and 7 open issues at review time. Platform support is inferred conservatively from repository topics.
About.
gophersat, a SAT solver in Go Fossfits includes gophersat as an actively maintained llm infra option: its public repository was updated on 2025-07-07, uses the MIT license, and had 387 stars when reviewed. Check its documentation and release notes before production adoption.
artificial intelligence · boolean formulas · constraint satisfaction problem · constraints · pseudo boolean solver
