AI-Planning / pddl

Unquestionable PDDL 3.1 parser

Home Page:https://ai-planning.github.io/pddl/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Be case insensitive in parsing identifiers

marcofavorito opened this issue · comments

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