GL-Solver-PaulMaget