name

abstract val name: String?(source)

Optional human-readable solver instance name.