Method copy

problem.py:190–191

(self)

    self.goal = goal

  def copy(self) -> Problem:
    return Problem(self.url, list(self.clauses), self.goal)

  def translate(self) -> Problem:  # to single-char point names
    """Translate point names into alphabetical."""