Search results

[TODO] Support for planning programs

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In aig-upf/universal-planning-validator;

· ertsiger opened on May 15, 2018

[BUG] Take into account updated expressions when evaluating them

bugSomething isn't workingSomething isn't working

Status: Open.

#5 In aig-upf/universal-planning-validator;

· ertsiger opened on Apr 30, 2018

[TODO] Run tests automatically

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In aig-upf/universal-planning-validator;

· ertsiger opened on Apr 20, 2018

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

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In aig-upf/universal-planning-validator;

· ertsiger opened on Apr 20, 2018