search

tmigimatsu / symbolic

C++/Python PDDL Library
https://tmigimatsu.github.io/symbolic/
MIT License
9 stars 10 forks source link

Axiom limitations - single predicate #5

Open ana-GT opened 10 months ago

ana-GT commented 10 months ago

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 commented 1 month ago

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).