A tensor contraction order optimizer.
