aig-upf / universal-planning-validator

Software for validating classical plans and planning programs (under development)
GNU General Public License v3.0
4 stars 0 forks source link

[TODO] Show invalid actions, remaining fluents to be true or become false #3

Open ertsiger opened 6 years ago

ertsiger commented 6 years ago

Currently the validator shows the action at which a precondition does not hold, but not the fluents that should be corrected.