StackOverflow Questions for Tag: alloy
Griselle Z
Reputation: 177
Alloy analyser - only natural numbers - no integer set
Score: 0
Views: 62
Answers: 1
Lepticed
Reputation: 381
From predicate calculus style to relation calculus style in Alloy
Score: 1
Views: 42
Answers: 1
Rodrigo Stv
Reputation: 425
Problem using JPype on Mac OS X: I try to start the JVM but I get a DLL not found, but it is there
Score: 1
Views: 1579
Answers: 1
Roger Costello
Reputation: 3209
Why does the Visualizer say that every atom is hidden?
Score: 0
Views: 798
Answers: 3
HKS
Reputation: 167
Pass parameter to predicate with Alloy Java API
Score: 0
Views: 51
Answers: 1
Alexander Bakst
Reputation: 13
Implication vs. Disjunction operators
Score: 1
Views: 70
Answers: 1
Denis
Reputation: 1565
Alloy: unexpected instance, difference between Sig'=Sig & Sig.field' = Sig.field
Score: 0
Views: 79
Answers: 1
George Victor
Reputation: 38
No Instance Found on integer declaration greater than 7
Score: 0
Views: 46
Answers: 1
Griselle Z
Reputation: 177
Why do Alloy Analyzer generated the same solution multiple times?
Score: 0
Views: 71
Answers: 1
Seanny123
Reputation: 9366
Define elevator floors (symmetry, ordering) in Alloy
Score: 0
Views: 50
Answers: 1
Marko Mušnjak
Reputation: 1
Modeling a presentation with ordered slides
Score: 0
Views: 33
Answers: 1
Matija Sirk
Reputation: 960
How to specify "global" frame condition in Alloy6?
Score: 1
Views: 106
Answers: 1
PeterJ
Reputation: 13
how to set constraints on a ternary relation
Score: 0
Views: 54
Answers: 1
Cyberboy1551
Reputation: 343
Creating a List Specification in Alloy Language
Score: 0
Views: 160
Answers: 1
Carlo Sgaravatti
Reputation: 1
Alloy dynamic modelling with predicates
Score: 0
Views: 118
Answers: 1