pyrddl (pypi): RDDL lexer/parser in Python3.
Keywords: rddl|parser|mdp|dbn