StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How to simplify Or(Not(y), And(y, Not(x))) to Or(Not(y), Not(x)) with Z3?
Author
Votes
Δ
JohanC
1
-0.13
alias
1
+0.13
Last visited: Sep 5, 2020, 12:36:14 PM