Random seed added to Alloy config

This adds <random> number of lines to the specification to prevemt alloy
to give the same solution.

1 files changed, 2 insertions, 1 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
index cdf21174..992479da 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
@@ -8,9 +8,10 @@ class AlloySolverConfiguration extends LogicSolverConfiguration {
         public def setIntScopeFor(int max) {

                 intScope = 31 - Integer.numberOfLeadingZeros(max) + 1

         }*/

-        public var int symmetry = 0 // by default

+        public var int symmetry = 20 // by default

         public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J

         public var boolean writeToFile = false

+        public var randomise = 0

 }

 

 enum AlloyBackendSolver {