WarningPresentation
data class WarningPresentation(val message: String, val logicStackTrace: List<String> = emptyList())
One solver warning, already formatted as a display-ready message and stack trace.
One solver warning, already formatted as a display-ready message and stack trace.