The goal is to improve a permutation-based approach (R package: 'pARI') for simultaneous inference on the true discovery proportion by a branch-and-bound algorithm. It is designed to return a list with a bracketing for the true discovery proportion, rather than a single lower bound from 'pARI'. For more details see Andreella. A (2023)