issues
search
plaans
/
aries
Toolbox for automated planning and combinatorial solving.
MIT License
39
stars
5
forks
source link
Align engine-internal-time metric with UP requirements
#110
Closed
arbimo
closed
8 months ago
arbimo
commented
8 months ago
chore(up): Use new metrics field of ValidationResult
chore(up): be more precise in engine time to avoid division by zero on UP side