Avoid unpacking PartitionedCuttingProblem
in tutorials & how-tos#365
Merged
garrison merged 2 commits intomain from expose-partitioned-problemAug 17, 2023
+26-15
PartitionedCuttingProblem
in tutorials & how-tos#365