StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Using define-fun-rec in SMT

Author	Votes	Δ
Andrew Reynolds	2	+0.18
Nikolaj Bjorner	2	-0.02

Last visited: Oct 24, 2016, 2:32:11 AM