1 files changed, 0 insertions, 28 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
deleted file mode 100644
index b16ed27f..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
+++ /dev/null
@@ -1,28 +0,0 @@
-package hu.bme.mit.inf.dlsreasoner.alloy.reasoner
-
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration
-
-class AlloySolverConfiguration extends LogicSolverConfiguration {
-        public var int symmetry = 20 // by default
-        public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J
-        public var TypeMappingTechnique typeMapping = TypeMappingTechnique.InheritanceAndHorizontal
-        public var randomise = 0
-}
-
-enum AlloyBackendSolver {
-        BerkMinPIPE,
-        SpearPIPE,
-        MiniSatJNI,
-        MiniSatProverJNI,
-        LingelingJNI,
-        PLingelingJNI,
-        GlucoseJNI,
-        CryptoMiniSatJNI,
-        SAT4J,
-        CNF,
-        KodKod
-}
-
-enum TypeMappingTechnique {
-        FilteredTypes, InheritanceAndHorizontal
-}
\ No newline at end of file