1 2 3 4 5 6 7
package ca.mcgill.ecse.dslreasoner.vampire.reasoner; import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration; @SuppressWarnings("all") public class VampireSolverConfiguration extends LogicSolverConfiguration { }