String name
read / write

An optional name given to the variable. This is useful in debugging Solver state.