Method to_dict

problem.py:182–183

(cls, data: list[Problem])

  @classmethod
  def to_dict(cls, data: list[Problem]) -> dict[str, Problem]:
    return {p.url: p for p in data}

  def __init__(self, url: str, clauses: list[Clause], goal: Construction):
    self.url = url