arch for
 any feasible redistricting solution.</div>
</div>
<div class="col-first odd-row-color method-summary-table method-summary-table-tab1 method-summary-table-tab4"><code>static <a href="https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/Set.html" title="class or interface in java.util" class="external-link">Set</a><wbr>&lt;<a href="District.html" title="class in metrocs.redistricting">District</a>&gt;</code></div>
<div class="col-second odd-row-color method-summary-table method-sum