Mathematical Programming Solver Based on Local Search