fixed bug with double negated preconditions. We now simplify the theory#6
Open
nirlipo wants to merge 2 commits intoAI-Planning:mainfrom
Open
fixed bug with double negated preconditions. We now simplify the theory#6nirlipo wants to merge 2 commits intoAI-Planning:mainfrom
nirlipo wants to merge 2 commits intoAI-Planning:mainfrom
