Efficient way of finding all feasible solutions to set of Boolean constrains

Question

I\'m solving the following problem with cp_model from ortools.sat.python in Python, but I\'m looking for a more efficient solver.

Pr