Solver file added. No real implementation yet.