A toylevel SMT solver for QFUFLRA and its sublogics