The solver currently returns a model, i.e. a complete assignment of the boolean variables of the problem, that satisfies the constraints.
In some cases, a partial assignment that satisfies those constraints is needed (i.e. a prime implicant).
Providing a utility class that computes a prime implicant from a model could be a good way to provide that new feature to end users.