Ganesa: The Problem Solver