StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why does the z3 smt prover fail for such a simple formula?
| Author | Votes | Δ |
|---|---|---|
| Nikolaj Bjorner | 1 | 0.00 |
Last visited: Dec 26, 2016, 9:42:20 PM