Implement IPC 2018 version of action state computation

Issue #54 resolved
tkeller repo owner created an issue

This is a solution for issue #52 that only works for instances where static action preconditions have some sort of monotonicity, namely that an action state a can never be applicable if another action state where a nonemtpy subset of the action fluents of a holds is never applicable.

Comments (1)

  1. Log in to comment