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 Δ
are multiplication and division operators supported by alloy? +3.65
How to evaluate in a given solution a predicate declared in a diffe... -0.19
Parsing an expression containing an atom from a String 0.00
Alloy constraint specification 0.00
Projecting an instance from a A4Solution 0.00
eval() is not working properly 0.00
Modelling TicTacToe in Alloy 0.00
how to run predicates and assertions in alloy 0.00
Need help in Alloy 0.00
How to add restrictions to fields of a signature when there are two... +3.85
This name is ambiguous due to multiple matches: 0.00
alloy formula, expressing foreach operation +3.94
How to update the set size of alloy model to be in a certain range? 0.00
How do I model the modulo operator in alloy? 0.00
Generation of apparently inconsistent alloy instances 0.00
Alloy 4 Int scope 0.00
Programming recursive functions in alloy 0.00
Alloy: use to String 0.00
Alloy shorthand for range to always contain certain value -3.74
The best practice to use boolean in Alloy model 0.00
Summing over a set of util/natural numbers in alloy4 0.00
How to store the Alloy solution into a desired Data structure? 0.00
util/Natural unexpected behavior in alloy 0.00
How to implement the following Alloy model in Alloy API? 0.00
Counting the number of Total CounterExamples in Alloy 0.00
Is cost minimization possible in Alloy? 0.00
Multiline Comment Parsing Bug 0.00
The util/ordering module and ordered subsignatures +0.24
express equivalence between several instances +4.23
How to enumerate all solutions? +4.00
Alloy 4, Software Abstractions 2E, and the seq keyword 0.00
Adding an removing relation between state 0.00
Module Alias Namespace In Alloy 4 0.00
Difference Between Function and Predicate In Alloy 4? 0.00
Alloy Facts Declaration 0.00
Subtracting using minus function in alloy 0.00
Generating list of fixed value in alloy 0.00
delete node from linked list and push into stack using alloy analyser 0.00
Insertion and deletion in linked lists in alloy +0.09
How to translate Event-Condition-Action rules to Alloy 0.00
From CompModule to Alloy 0.00
going through an A4Solution 0.00
doubly linked list in alloy 0.00
alloy model for hydrocarbons 0.00
Alloy Function with many requirement 0.00
Alloy assert check 0.00
Alloy Function output binary relation 0.00
run command scope in alloy 0.00
semantic change in 4.2? 0.00
Alloy Analyzer 4.2 (mac) versus alloy api 0.00