id

abstract val id: SolverSessionId

Uniquely identifies this session while it's alive.