Skip to content

Remove mapping, proposition names *are* PDDL ground fluents. Fix ambiguity in DP names#262

Draft
marfvr wants to merge 3 commits intomainfrom
no-mappings
Draft

Remove mapping, proposition names *are* PDDL ground fluents. Fix ambiguity in DP names#262
marfvr wants to merge 3 commits intomainfrom
no-mappings

Commits

Commits on Jul 10, 2023

Commits on Jul 11, 2023