StackRating

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

Daniel Jackson

Rating
1526.38 (22,268th) 		Reputation
2,093 (80,408th)
Page: 1 2
Title Δ
Predicate not consistent +3.92
Is it possible to declare alias fields in Alloy? +4.19
HOw to check range in alloy language? 0.00
How to derive the `one` multiplicity constraint using the Alloy Ker... -3.86
Alloy:How to understand the counterexample in the Alloy demo? +3.75
Alloy pred declaration: is there a difference between square bracke... +4.21
Dynamic modeling with Alloy 0.00
Type Error in Alloy using Double In Statement +3.88
Can I specify a custom color (e.g., RGB) for Alloy Analyzer to use... 0.00
How to specify signature expressly in Alloy? -1.77
How to write let expression with 'or' condition -3.82
Extract all elements of a set which have a certain attribute (are i... +3.94
How to display a sequence of pairs in alloy? 0.00
How to create a static state model in Alloy? 0.00
show counterexample in Alloy 0.00
Variable-Value pairs (i.e., maps) are not retained when one of them... 0.00
Bug on unconstrained Strings -3.81
alloy translation limitations: arity of relations +0.19
Modeling States in Alloy: Syntax for all relations identical except... 0.00
higher-order quantification that cannot be skolemized 0.00
Is Alloy Analyzer "a falsifier"? +0.18
How to create a 100% declarative model? 0.00
How to simultaneously remove and add data to a data store? 0.00
Abstraction: design pattern versus essential concept 0.00
Socrates is mortal +4.27
What does it mean to order a set? -3.94
What is pred/totalOrder in the ordering module? +4.14
Can all problems be formulated in terms of constraints? +4.30
Is enum part of the Alloy language? +4.36
Alloy model of the Einstein puzzle +4.42
Alloy terminology: signature "declaration" and signature... 0.00
How to constrain the number of following backslashes to an odd numb... 0.00
Is incomplete testing versus exhaustive analysis an apples-to-orang... 0.00
Does the order of constraints in a pred matter? 0.00
Produce a subset of atoms based on another subset 0.00
Is there a way to find the number of cases that the Alloy Analyzer... 0.00
Ternary relations, relational product and fields which are themselv... +3.89
Alloy pred/fun parameter constraint 0.00
Alloy - Illegal Relational Join -4.12
possibly inconsistent behaviour in Alloy's typechecking of pred... 0.00
Alloy - Count atoms used by other atoms 0.00
Alloy - Check predicate is correct? 0.00
Are datatypes the enemy of abstraction? 0.00
How to add variable on a set (Alloy) 0.00
Multiplicity with Predicates -0.13
No instance found for simple List example 0.00
Inadvertent overconstraint: A downside of all declarative styles of... 0.00
Why does NoRoomConflicts generate a binary relation while NoRoomCon... 0.00
Interpreting a diagram from an Alloy perspective versus a UML persp... 0.00
Alloy - Dealing with unbounded universal quantifiers 0.00