Anfonwch hwn fel neges destun: Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers