reasonOfUnknown

abstract fun reasonOfUnknown(): String

Retrieve a brief explanation of an KSolverStatus.UNKNOWN result. The format of resulting string is solver implementation dependent.