feat(up): Support default values in UP planning problems

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

39 stars 5 forks source link

feat(up): Support default values in UP planning problems #124

Closed arbimo closed 5 months ago

arbimo commented 5 months ago

This PR adds support for default parameters in UP problems. Previously we made the assumption that all initial values were provided in the int_values, which may not hold in the future.

@Shi-Raida could you add support for this in the validator as well. This PR uses a branch of the UP where the implicit values are not given, leading to several unsupported problems in the validator.

Shi-Raida commented 5 months ago

The validator supports this feature now.