package ca.mcgill.ecse.dslreasoner.vampire.reasoner

import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration

class VampireSolverConfiguration extends LogicSolverConfiguration {
	
	public var int symmetry = 0 // by default
	//choose needed backend solver
//	public var VampireBackendSolver solver = VampireBackendSolver.SAT4J
	public var boolean writeToFile = false
}


enum VampireBackendSolver {
	//add needed things
}


enum TypeMappingTechnique {
	//default
	FilteredTypes
}