search

aiplan4eu / unified-planning

The AIPlan4EU Unified Planning Library
Apache License 2.0
181 stars 39 forks source link

Fix IMPLY ProblemKind #594

Closed Framba-Luca closed 5 months ago

Framba-Luca commented 5 months ago

Fix(Implies PK): Now implies correctly sets the DISJUNCTIVE_CONDITIONS ProblemKind

Solves #593