search

plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
39 stars 5 forks source link

Update numeric problem kind #104

Closed arbimo closed 8 months ago

arbimo commented 8 months ago

Early support for updated numeric kinds: https://github.com/aiplan4eu/unified-planning/pull/449