SMT Splicing Machine