Initializing help system before first use

Logical NOT

d = NOT d1 for one binary variable d1

  • IP formulation

    d = 1 - d1