def parse_clasp_json_output(stdout):
    """Parse the output from clasp."""

    try:
        output = json.loads(stdout)
    except __HOLE__:
        return None

    if output["Result"] == "UNKNOWN":
        return None
    else:
        return output["Result"]
dataset/ETHPy150Open borg-project/borg/borg/domains/asp/solvers.py/parse_clasp_json_output