StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
z3py throws parser error for a valid SMT2 file
Author | Votes | Δ |
---|---|---|
Nikolaj Bjorner | 2 | +0.48 |
Venkatesh-Prasad Ranganath | 0 | -3.81 |
Last visited: Apr 28, 2015, 9:30:30 AM