StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Z3 Optimizer Unsatisfiability with Real Constraints Using C++ API
| Author | Votes | Δ |
|---|---|---|
| Chris Wailes | 1 | +4.19 |
| Nikolaj Bjorner | 0 | -0.52 |
Last visited: Oct 13, 2016, 4:53:55 AM