logical.py File Reference

Tutorial example on how to use AND/OR/XOR constraints. More...

Go to the source code of this file.

Namespaces
	logical

Functions
def	printFunc (name, m)

Variables
	model = Model()
	n = model.addVar("n", "I")
	r = model.addVar("r", "B")
	sense
	x = model.addVar("x", "B")
	y = model.addVar("y", "B")
	z = model.addVar("z", "B")

Detailed Description

Tutorial example on how to use AND/OR/XOR constraints.

Definition in file logical.py.