SolverProfileId

data class SolverProfileId(val value: String)

Identifies one registered SolverProfile (a selectable solver configuration, e.g. "Prolog" or "Problog"), unique across the application.

Constructors

constructor(value: String)

open override fun toString(): String