NotExecuted

data class NotExecuted(val solverName: String, val problemName: String) : SolverResult(source)

Represents a state where the solver has been configured but not yet executed.

Constructors

Link copied to clipboard
constructor(solverName: String, problemName: String)

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open override fun toReportString(): String

Generates a human-readable summary of the current state or results.