StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Z3: how to encode If-the-else in Z3 python?
Author
Votes
Δ
Ilmo Euro
4
+4.88
sepp2k
3
-0.36
Last visited: Sep 14, 2014, 5:07:29 AM