StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Can Z3 effectively solve constraints with a max operation?
| Author | Votes | Δ |
|---|---|---|
| Nikolaj Bjorner | 2 | +0.48 |
| Douglas B. Staple | 1 | -3.84 |
Last visited: Oct 12, 2016, 12:19:02 AM