Text this: Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning