Roadmap

Nice-to-haves

• Increase code tests coverage
• Support for fluents and action costs
• Actual PDDL serialization in RSP, instead of stringification (kind of hard to implement and specify)
• Consider a full protocol to manage a simulator with access to a set of problems, and maybe the ability to store agent state?
• A more efficient implementation of successor generation (see ASP Based Successor Generation) is possible using database theory and query optimization:
  • The gist of it is compiling a precondition into a set of conjunctive queries with negation, and then running these efficiently using join algorithms and filtering for the negations (whenever possible).
  • Good fit for a student interested in these topics
  • An implementation should probably use FFI. If using Rust, consider Maturin!