Remove limit solver, making its compilation optional.