Added ColoringPartitionBot