ALTASolverLSR Enumeration