GitHub repository: whitemech/FOND4LTLf
Primary language: PDDL
Description: FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems