logical.py File Reference

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

Go to the source code of this file.

Functions
def	and_constraint (v=1, sense="minimize")
def	or_constraint (v=0, sense="maximize")
def	xors_constraint (v=1)
def	xorc_constraint (v=0, sense="maximize")

Detailed Description

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

Definition in file logical.py.

Function Documentation

def logical.and_constraint	(		v = 1,
			sense = "minimize"
	)

AND constraint 

Definition at line 39 of file logical.py.

def logical.or_constraint	(		v = 0,
			sense = "maximize"
	)

OR constraint

Definition at line 50 of file logical.py.

def logical.xorc_constraint	(		v = 0,
			sense = "maximize"
	)

XOR (r as variable) custom constraint

Definition at line 69 of file logical.py.

def logical.xors_constraint

(

v = 1

)

XOR (r as boolean) standard constraint

Definition at line 60 of file logical.py.