| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
This adds <random> number of lines to the specification to prevemt alloy
to give the same solution.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
removed
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
| |
objects.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| |
| |
| | |
allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied
|
| |
| |
| | |
attribute sets
|
|/ |
|
|
|
| |
of relevant primitive objects.
|
|
|
| |
excluded from the partial model mapping.
|
|
|
| |
logic problem.
|