FileFormat.TIM

data RawTimeTableProblem

parseFile

loadTIMFileRaw

loadTIMFile

convertToConstrainedProblem

rawToCSV