An automated planner based on the Property Directed Reachability algorithm