Be case insensitive in parsing identifiers
marcofavorito opened this issue · 0 comments
marcofavorito commented
Is your feature request related to a problem? Please describe.
Currently, we are not case-insensitive when parsing domains and problems identifiers
Describe the solution you'd like
Be case insensitive in parsing identifiers.
Describe alternatives you've considered
n/a
Additional context
n/a