TVM solver