Adding Support for Axioms and Derived Predicates#493

Open

speckdavid wants to merge 12 commits intoaiplan4eu:masterfrom speckdavid:master

+351-16

Commits on Aug 10, 2023

added axioms to problem model and functions to the pddl reader and writer
speckdavid
committed

Commits on Aug 23, 2023

Commits on Sep 1, 2023

Commits on Sep 22, 2023

Merge branch 'master' of https://github.com/aiplan4eu/unified-planning
speckdavid
committed

Commits on Sep 26, 2023