StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Nikolaj Bjorner

Rating
1496.21 (4,075,163rd) 		Reputation
111 (668,117th)
Page: 1
Title Δ
Sample uniformly from set of satisfying assignments in Z3 0.00
How do I get k where k is from F_k for pdr in muz? 0.00
Bug? Changing order of assertions affects satisfiability -3.79