belief boundaries_solvers

belief boundaries using solvers are calculated