In Z3 (Python) is there any way to 'bias' the SAT search towards a 'criteria'?

A case example: I would like Z3 to obtain a model, but not any model: **if possible**, give me a model that has a great amount of negated literals.

Thus, for instance, if we have to search `A or B` a possible model is `[A = True, B = True]`, but I would rather have received the model `[A = True, B = False]` or the model `[A = False, B = True]`, since they have more `False` assignments.

Of course, I guess the 'criteria' must be much more concrete (say, *if possible: I prefer models with the **half** of literals to False* ), but I think the idea is understandable.

I do not care whether the method is native or not. Any help?