Rafael Kiesel, Andr'e Schidler. PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT. 17th International Symposium on Parameterized and Exact Computation, IPEC 2022, September 7-9, 2022, Potsdam, Germany (Holger Dell and Jesper Nederlof), volume 249 of LIPIcs, pages 32:1-32:4, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.