StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What additional axioms do we need to add so that Z3 can verify the satisfiability of programs with r
| Author | Votes | Δ |
|---|---|---|
| James Wilcox | 2 | -0.15 |
| alias | 2 | +0.02 |
Last visited: Oct 27, 2017, 7:18:27 AM