Any way to obtain more solutions with the same cost?

[yurivict]

The BAB solver returns at most one solution for each cost with decreasing cost values:

       std::unique_ptr<BAB<Solver>> e(new BAB<Solver>(this, options));

        while (auto s = std::shared_ptr<Solver>(e->next())) {
                // ... process solution ...
        }

But is it possible to generate more solutions for the best cost?
I am pretty sure that there are more solutions than one, but only one is returned for each cost.

Alternative solutions for the best cost might be more suitable for the final purpose.