Solver

constructor(executor: Executor, files: CaseFiles, dir: String, options: SolveOptions)(source)