Author patrik
Recipients malte, patrik
Date 2014-08-16.03:28:28
FD reports attached problem unsolvable, but it has a valid plan. It seems that
the cause of this is an incorrect computation of the derived predicates. In the
second state (after applying the single action in plan), all the derived
predicates are true, which they should not be. (Also attaching fd-val, which I
used to check this; unfortunately, it doesn't print anything about axiom

I have not checked if the axioms in the translated SAS file are correct.
File name Uploaded
disjunction.pddl patrik, 2014-08-16.03:28:28
Date User Action Args
2014-08-16 03:28:29patriksetrecipients: + patrik, malte
2014-08-16 03:28:28patriksetmessageid: <>
2014-08-16 03:28:28patriklinkissue453 messages
2014-08-16 03:28:28patrikcreate