def __init__(self, specs, asp=None):
    self.asp = asp
    self.satisfiable = None
    self.optimal = None
    self.warnings = None
    self.nmodels = 0
    self.answers = []
    self.cores = []
    self.criteria = []
    self.abstract_specs = specs
    self._concrete_specs = None
def __init__(self, specs, asp=None):
    self.asp = asp
    self.satisfiable = None
    self.optimal = None
    self.warnings = None
    self.nmodels = 0
    self.answers = []
    self.cores = []
    self.criteria = []
    self.abstract_specs = specs
    self._concrete_specs = None