8.4 The TVM Solver