StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Checking syntactic equivalence of two constraints efficiently in Z3
| Author | Votes | Δ |
|---|---|---|
| Christoph Wintersteiger | 3 | +2.08 |
| maaartinus | 1 | -2.08 |
Last visited: May 1, 2015, 9:18:34 PM