StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to correctly use Solver() command in Python API of Z3 with declared function
| Author | Votes | Δ |
|---|---|---|
| alias | 1 | +4.13 |
| Christoph Wintersteiger | 0 | -0.52 |
Last visited: Jan 13, 2016, 4:21:26 AM