Csv
constructor(solver: Solver, outputFile: File, columns: List<TrackerColumn> = defaultColumns)(source)
Parameters
solver
The solver to track.
output
The file to write the CSV data to.
columns
A list of TrackerColumns defining the CSV structure. Defaults to defaultColumns.
Convenience constructor that creates a CSV file in the KSL output directory.