StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How does one define z3 functions (namely recursive ones) on algebraic data types within z3py?
| Author | Votes | Δ |
|---|---|---|
| Pierce Douglis | 1 | +4.07 |
| alias | 0 | -0.51 |
Last visited: Dec 22, 2019, 3:27:20 AM