package configuration;

public enum ASPSolver {
   DLV,
   Clingo;
}