StackRating

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

Aleksandar Milicevic

Rating
1531.16 (17,529th)
Reputation
3,724 (45,100th)
Page: 1 2 3
Title Δ
Alloy's formula translation 0.00
transitive closure in alloy 0.00
Using String Alloy 0.00
Alloy mapping relations 0.00
alloy specification problems 0.00
Writing a Finite state machine specification in Alloy 0.00
alloy relation facts 0.00
Disseminating a token in Alloy 0.00
Modeling a completely connected graph in Alloy 0.00
Counting quantifiers - how 0.00
Why is this symmetry assertion wrong? 0.00
Understanding complicated signatures in alloy 0.00
Barber Paradox Why is this model inconsistent? 0.00
alloy beginner's concept 0.00
Accumulation of union of sets 0.00
Impact of semantics changes of Alloy 4.2 on exercise A.1.6 of the A... 0.00
Alloy built-in integer math functions don't work in imported files 0.00
Meaning of 'private' keyword in Alloy? Meaning of 'enum' declaration? 0.00
Alloy API resulting in java.lang.UnsatisfiedLinkError 0.00
Using my own API in Alloy 0.00