clingo goes Linear Constraints over Reals and Integers.

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Browse the full LPNMR paper archive.