LTL Optimal Multi-Agent Planner

See LICENSE.txt file for important information.
