umop-1.2


  • This is Release 1.2 of the Universal Multi-agent Obdd-based planner.