تگ: یکپارچه‌سازی حل‌کننده SMT