partition
fun partition(theory: String, parts: Int? = null, flags: Flags = Flags.defaults().graphExtensions()): Partitioning
The partitions of theory, converted with flags and the flags of the theory: the groups of rules that support one another, or, given parts, that many partitions of about the same number of rules. A group larger than its share is first split where it joins parts that support nothing of one another (see joined), so that they are explored side by side; the groups are then packed together, and the largest partitions split in halves if there are still fewer than parts.