fsprojects/
Simple DSL to solve SMT problems using Z3 API in F#
by F# Community Project Incubation Space F# MIT licence 7 forks Created Dec 2012 View on GitHub
- Stars
- 54
- <1% of fsprojects's stars
- Rank
- #785,713
- of 847,070 repos, top 93%
Among 847,070 repos
40–63 stars: 142,357 repos, including Z3Fs
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 #774,386
- Next milestone
- +3 stars to reach the top 90%
- Yearly average
- 4 stars a year since Dec 2012