StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Saving the "state" of a Z3 solver in SMT2 format
| Author | Votes | Δ |
|---|---|---|
| Kubuntuer82 | 1 | -0.13 |
| alias | 1 | +0.13 |
Last visited: Aug 21, 2017, 10:48:17 AM