name property

String? name
getter/setter pair

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

Implementation

String? name;