Skip to main content

indicator_constraint

Macro indicator_constraint 

Source
indicator_constraint!() { /* proc-macro */ }
Expand description

Register a native binary-triggered affine constraint. indicator_constraint!(model, [name|name[idx]], binary == 0|1 => relation).