Could anyone suggest me a tool or library which takes an integer programming problem written in DOCPLEX or CVXPY as input and outputs the equivalent problem using Gray binary encoding? I am happy to write one myself but would love to use one more which has already been tested.
$\begingroup$
$\endgroup$
-
$\begingroup$ Could you explain what is the Gray binary encoding of an integer program? In particular, when the integer program only contains binary variables. Maybe it will help to answer. Thanks a lot. $\endgroup$ – LocalSolver Oct 12 at 22:16
