LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals