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

@SuppressWarnings("all")
public class Vampire2LogicMapper {
}