Implementation of HAMPI string solver using Smten