StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
(get-unsat-core) Z3: unsat core is not available
| Author | Votes | Δ |
|---|---|---|
| alias | 2 | +2.00 |
| Patrick Trentin | 0 | -2.00 |
Last visited: Jan 1, 2019, 8:55:20 AM