StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why does Z3 say that this equation is not satisfiable, when I have input that is correct?
| Author | Votes | Δ |
|---|---|---|
| Zach Riggle | 2 | +4.00 |
| Tim | 1 | -4.00 |
Last visited: May 1, 2015, 9:44:56 PM