StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Converting Z3 CNF formula into list-of-lists representation using Z3Py
| Author | Votes | Δ |
|---|---|---|
| Vlad Shcherbina | 3 | +3.99 |
| Christoph Wintersteiger | 1 | -0.50 |
Last visited: Sep 5, 2016, 7:14:45 PM