crillab/gophersat
gophersat, a SAT solver in Go
41
/ 100
Emerging
386 stars. No commits in the last 6 months.
Stale 6m
No Package
No Dependents
Maintenance
2 / 25
Adoption
10 / 25
Maturity
16 / 25
Community
13 / 25
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.