Tools to reason about configuration spaces in multi-agent systems.