StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
z3py stops while performing quantifier elimination in a loop
Author | Votes | Δ |
---|---|---|
Zeinab Ganjei | 1 | +4.13 |
alias | 0 | -0.52 |
Last visited: May 14, 2020, 3:16:00 AM