Last released Feb 4, 2026
flingo is a solver for Answer Set Programming (ASP) combined with founded conditional linear constraints
Supported by