path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java

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

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

@SuppressWarnings("all")
public class VampireSolverConfiguration extends LogicSolverConfiguration {
}