Read here
Create linear avoidanc constraint
Save your F5
Conic model of the elementwise inverse on positive orthant
Create set defining a polytope