Issues

• [TODO] Support for planning programs

  enhancement
  aig-upf/universal-planning-validator#7 · Filter by author ertsiger opened on May 15, 2018
  1

• [BUG] Take into account updated expressions when evaluating them

  bug
  aig-upf/universal-planning-validator#5 · Filter by author ertsiger opened on Apr 30, 2018
  

• [TODO] Run tests automatically

  enhancement
  aig-upf/universal-planning-validator#4 · Filter by author ertsiger opened on Apr 20, 2018
  1

  

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

  enhancement
  aig-upf/universal-planning-validator#3 · Filter by author ertsiger opened on Apr 20, 2018