Fix: Validator - Githubissues

plaans / aries

Toolbox for automated planning and combinatorial solving.

MIT License

39 stars 5 forks source link

Fix: Validator #113

Closed Shi-Raida closed 7 months ago

Shi-Raida commented 7 months ago

Validator fixes

Give a default id to UPF actions
Suffix all actions' parameters with the action id

Other modification

cargo fmt and cargo clippy