Axiom limitations - single predicate

[ana-GT]

Hi! I attempted to use the symbolic library with the domain/problem files for the gridworld problem (https://github.com/tmigimatsu/grounding-predicates/blob/main/env/gridworld/domain.pddl). I get the error:

   "Axiom::Axiom(): Context must be a simple positive or negative predicate."

The error naturally disappears if I delete the axioms in the domain file that are more complex than a single predicate. Give that the grounding_predicates repository uses symbolic, I was wondering how it was used, (or if there is a specific branch / fork that was used to support the pddl files there).

Thanks!

[alemon-cherry]

Hi！The program exits directly when it runs to ‘’pddl.state_index.get_indexed_state(s_pos)‘’. Has anyone encountered this issue before? The program automatically exits with the message Process finished with exit code 139 (interrupted by signal 11: SIGSEGV).