Planners, software and domains for Multi-Agent Planning (MAP)