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

@SuppressWarnings("all")
public enum VampireBackendSolver {
}