Clingo goes Linear Constraints over Reals and Integers

Tomi Janhunen, Roland Kaminski, Max Ostrowski +3

The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework…