Blocksworld 2 Wiki/Extensions