The Ortho problem solver