Console
constructor(solver: Solver, formatStrategy: (SolverStateSnapshot) -> String = ::defaultFormat, lifecycleFormatStrategy: (SolverStatus) -> String? = ::defaultLifecycleFormat)(source)
Parameters
format
A function that formats a SolverStateSnapshot into a String. Defaults to defaultFormat.
lifecycle
A function that formats a SolverStatus into a String. If it returns null, nothing is printed for that status. Defaults to defaultLifecycleFormat.