أرسل هذا في رسالة قصيرة: Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers