StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is there any function readily available for calculating logarithm to the base 2 in Z3/cvc4?
| Author | Votes | Δ |
|---|---|---|
| Tim | 3 | +4.03 |
| Nuno Lopes | 2 | -2.70 |
Last visited: Apr 27, 2015, 9:48:46 PM