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.