Add invariant synthesis

Issue #41 new
repo owner created an issue

A task representation where Boolean variables that cannot be true at the same time are merged into finite-domain variables are important for many techniques from classical planning to work properly. Since we have stumbled across this problem several times when trying to port these techniques to MDPs, it is about time to actually add a simple invariant synthesis that is able to find at least some of these finite-domain variables.

Comments (0)

  1. Log in to comment