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