Houdini - Controlled Destruction - SOP Solver in DOPs