eth-sri/
Learning to Solve SMT Formulas Fast
by SRI Lab, ETH Zurich SMT Apache-2.0 licence 18 forks Created Nov 2018 View on GitHub
- Stars
- 91
- 1% of eth-sri's stars
- Rank
- #523,884
- of 852,180 repos, top 62%
Among 852,180 repos
63–100 stars: 217,627 repos, including fastsmt
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 #519,455
- Next milestone
- +3 stars to reach the top 60%
- Yearly average
- 11 stars a year since Nov 2018