DataFrameSolverStateTracker

constructor(solver: Solver, columns: List<DataFrameColumn> = defaultColumns)(source)