SMarTplan: a Task Planner for Smart Factories
A Constraint-based Encoding for Domain-Independent Temporal Planning