LazorSolver