Last released Sep 3, 2026
flingo is a solver for Answer Set Programming (ASP) combined with founded conditional linear constraints