crillab/gophersat
gophersat, a SAT solver in Go
This tool helps researchers and engineers solve complex decision-making and optimization challenges by determining if a set of logical conditions can all be true, or finding the best possible solution given those conditions. You provide a problem description, often in a standard format, and it outputs whether a solution exists and, if so, what that solution is. This is ideal for anyone working with highly constrained problems in fields like operations research, AI planning, or formal verification.
386 stars. No commits in the last 6 months.
Use this if you need to determine the feasibility or optimal solution for problems that can be expressed as logical formulas or pseudo-boolean constraints.
Not ideal if your problem is easily solvable with simpler algorithms or if you require performance matching highly specialized, top-tier commercial solvers.
Stars
386
Forks
23
Language
Go
License
MIT
Category
Last pushed
Jul 07, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/crillab/gophersat"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.