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	and_constraint (v=1, sense="minimize")
def	or_constraint (v=0, sense="maximize")
def	xorc_constraint (v=0, sense="maximize")
def	xors_constraint (v=1)

Detailed Description

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

Definition in file logical.py.