Solve BDSC for Plonk with Caulk/Muppets/Baloo