License

YEAR: 2025
COPYRIGHT HOLDER: DPchecker authors