Class ProblemInfo

tools/anima/model.py:7–13

@dataclass
class ProblemInfo:
    id: int
    title: str

    def title_slug(self):
        title_parts = re.split(r'\s+', self.title)
        return f'{self.id:04d}-' + '-'.join(title_parts)


@dataclass