Generalize optional reasoning.

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

43 stars 6 forks source link

Closed arbimo closed 2 years ago

arbimo commented 2 years ago

Remaining subtasks:

[X] Make enforce use optional literals
[x] Generalize LEQ to optionals
[x] Get rid of OptLeq and OptEq
[x] Check that a conjunctive scope definition only contains priamry presence literal (i.e. on conjunctive ones)

Fixes #16