Our SMT Programming Process