Engelberg/
A Clojure interface to the Sat4j satisfaction solver.
by Mark Engelberg Clojure EPL-1.0 licence 5 forks Created Jul 2016 View on GitHub
- Stars
- 80
- 2% of Engelberg's stars
- Rank
- #580,326
- of 852,369 repos, top 69%
- In Clojure
- #1,717
- of 2,509 repos, top 69%
Among 852,369 repos
63–100 stars: 217,645 repos, including rolling-stones
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 #574,662
- Next milestone
- +14 stars to reach the top 60%
- Yearly average
- 8 stars a year since Jul 2016