mitchellh/
SAT solver written in Go (golang).
Archived by Mitchell Hashimoto Go MIT licence 8 forks Created Feb 2017 View on GitHub
- Stars
- 142
- <1% of mitchellh's stars
- Rank
- #367,151
- of 849,475 repos, top 44%
- In Go
- #17,281
- of 34,874 repos, top 50%
Among 849,475 repos
100–160 stars: 155,245 repos, including go-sat
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #365,094
- Next milestone
- +15 stars to reach the top 40%
- Popular
- One of 489,906 repos with 100+ stars
- Yearly average
- 15 stars a year since Feb 2017