StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Use Z3 and SMT-LIB to define sqrt function with a real number

Author	Votes	Δ
Nikolaj Bjorner	0	0.00

Last visited: Nov 15, 2015, 7:30:51 AM