SMT Splicing Tools