Module halo2_proofs::circuit::floor_planner::v1::strategy