flingo Stable

Flingo is a solver for Answer Set Programming (ASP) combined with founded conditional linear constraints. These constraints enable the user to use integer variables that are not subject to grounding. Integer variables may be undefined and, in line with the philosophy of ASP, there needs to be a justification in the logic program if a variable receives a value in an answer set. Conditionality allows for a generalization of aggregates commonly used in ASP.

Documentation

• Documentation webpage

Resources

• Source code on GitHub

Publications

• Fandinno, J., Cabalar, P., Wanko, P., & Schaub, T.FLINGO - Instilling ASP Expressiveness into Linear Integer Constraints, CoRR, 2026