SymK is a planner that performs symbolic search using Binary Decision Diagrams to find a
single optimal or the best k plans. It is designed to be a versatile planner by supporting …