“…The latest release [37] offers, besides some non-arithmetic components, the CaRL [9] library for arithmetic datatypes and basic computations with them, and solver modules for e.g. the simplex and the Fourier-Motzkin variable elimination methods for linear problems, for non-linear real arithmetic different adaptions of the cylindrical algebraic decomposition method [10,30], the virtual substitution method [48,12,1], subtropical satisfiability [22], methods based on Gröbner bases [47,28], as well as interval constraint propagation [24,25] and the branchand-bound technique [17,31] for finding integer solutions.…”