Hi Armin,

I wonder if there is a way to run cadiback for determining backbone literals over a particular target set of variables rather than all the variables in the formula? If the problem is expensive to solve, there may often be the need to focus on some "interesting variables", thus saving time which the solver would otherwise spend determining the entire backbone of the formula.

At first glance, I could not find a way to do this. By any chance, if it isn't available, can it be added?

Best,
Alexey