Non-Cracking SMT Methods