StackRating

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

In SMT-LIB, is there a difference between an array and no-arg function that returns an array?

Author Votes Δ
Tim 1 0.00
Last visited: Apr 27, 2015, 7:52:09 PM