Extension of clingo to handle constraints over integers
