Currently there is only getSolution() which returns one solution and getSolutions() which returns all of them. For the sake of efficiency it might be helpful to have a function where you can specify how many distinct solutions to a problem you need at a maximum. I am not intimately familiar with the code so I am unsure if this would actually help efficiency, but it is something that has come up in my current research project that uses CSPs to generate instances of planning domains.