StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is it possible to detect inconsistent equations in Z3, or before passing to Z3?
| Author | Votes | Δ |
|---|---|---|
| James Wilcox | 4 | -0.15 |
| Patrick Trentin | 4 | +0.02 |
Last visited: Nov 27, 2017, 11:26:31 AM