Jadis: An AND/OR Heuristic Search Planner for FOND Planning Jadis is a FOND planner that employs AND/OR heuristic search (AO* and LAO*).