Solver and main files