name property

String name
getter/setter pair

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

Implementation

late String name;