StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Z3 unable to find satisfying assignment for simple formula with quantifiers and patterns
| Author | Votes | Δ |
|---|---|---|
| iago | 3 | 0.00 |
Last visited: Feb 14, 2016, 12:31:39 AM