TY  - RPRT
TI  - Clingo goes Linear Constraints over Reals and Integers
AU  - Tomi Janhunen
AU  - Roland Kaminski
AU  - Max Ostrowski
AU  - Torsten Schaub
AU  - Sebastian Schellhorn
AU  - Philipp Wanko
PY  - 2017
UR  - https://arxiv.org/abs/1707.04053
ID  - 1707.04053
ER  -