On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.