def __init__(self, cores=True, asp=None):
    'Driver for the Python clingo interface.\n\n        Arguments:\n            cores (bool): whether to generate unsatisfiable cores for better\n                error reporting.\n            asp (file-like): optional stream to write a text-based ASP program\n                for debugging or verification.\n        '
    global clingo
    if (not clingo):
        with spack.bootstrap.ensure_bootstrap_configuration():
            spack.bootstrap.ensure_clingo_importable_or_raise()
            import clingo
    self.out = (asp or llnl.util.lang.Devnull())
    self.cores = cores
Driver for the Python clingo interface.

Arguments:
    cores (bool): whether to generate unsatisfiable cores for better
        error reporting.
    asp (file-like): optional stream to write a text-based ASP program
        for debugging or verification.
def __init__(self, cores=True, asp=None):
    'Driver for the Python clingo interface.\n\n        Arguments:\n            cores (bool): whether to generate unsatisfiable cores for better\n                error reporting.\n            asp (file-like): optional stream to write a text-based ASP program\n                for debugging or verification.\n        '
    global clingo
    if (not clingo):
        with spack.bootstrap.ensure_bootstrap_configuration():
            spack.bootstrap.ensure_clingo_importable_or_raise()
            import clingo
    self.out = (asp or llnl.util.lang.Devnull())
    self.cores = cores