-- | The number of solved problems.
numberSolvedProblems :: Int
numberSolvedProblems = length solutions
numberSolvedProblems :: Int
numberSolvedProblems = length solutions
numberSolvedProblems = length solutions