package kit: Add data structures for problem solutions ... and add the problem solutions in LibsolvSolver.