go-air/gini
A fast SAT solver
This is a tool for developers who need to quickly determine if a complex logical statement can be made true, or to find a set of conditions that make it true. It takes a Boolean satisfiability (SAT) problem as input, which can represent various logical puzzles or constraint satisfaction tasks, and outputs whether a solution exists and, if so, a valid assignment of values. Developers working with Go can integrate this solver into their applications.
154 stars. No commits in the last 6 months.
Use this if you are a Go developer needing to solve complex logical satisfiability problems or perform Boolean optimization within your applications.
Not ideal if you are not a Go developer or if your problem doesn't involve Boolean satisfiability or constraint solving.
Stars
154
Forks
17
Language
Go
License
MIT
Category
Last pushed
Aug 26, 2021
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/go-air/gini"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.