Closed schweikart closed 11 months ago
This PR makes sure that ProblemTypes are identified through their id attribute instead of their enum name. This decouples the names of our Java constants from the actual problem type identifiers.
ProblemType
id
Your change makes sense to me, thank you! From my point of view, you can rebase+merge this
This PR makes sure that
ProblemType
s are identified through theirid
attribute instead of their enum name. This decouples the names of our Java constants from the actual problem type identifiers.