Added a method to retrieve a part of the database in Solver