Commit 192d264ae7863cfd428be5731a0b7144cb3cd40d

Qunxin Liu 2025-03-25T13:32:01

[subset] remove divisions when computing the cost of binary search