python library to solve integer programming

Question

I am looking for python solver for integer non-linear programming.

For example, 7 x1 x2 + 8 x2 x3 + 6 x3 x4 + 5 x4 x1

x1 + x2 = 1

x3 + x4 = 1

In