Unquestionable PDDL 3.1 parser
AI-Planning
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
whitemech