fix: goals must hold in the final state (even with TILs) - Githubissues

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

39 stars 5 forks source link

fix: goals must hold in the final state (even with TILs) #125

Closed arbimo closed 5 months ago

arbimo commented 5 months ago

fix(planning): Make sure the goal state is final in the presence of TILs
chore: Add justfile for common recipes.
feat(planning): Distinguish makespan and horizon in encoding.
deps(up): Update UP to latest version