Skip to content

#10: ADL — conditional effects, quantifiers, full precondition trees#115

Merged
hfoffani merged 2 commits into
mainfrom
adl-10
Jul 13, 2026
Merged

#10: ADL — conditional effects, quantifiers, full precondition trees#115
hfoffani merged 2 commits into
mainfrom
adl-10

Commits

Commits on Jul 13, 2026