Answer set solving in practice, language, formats (input, rules and aggregates)
Channel: Potassco
Date: 18/11/2020

Starting from how rules are built from (aggregate and conditional) literals,
we details gringo's full-fledged aggregates along with some pragmatic issues