Map constraint satisfaction problems with binary variables to binary quadratic models. - View it on GitHub