puzzle.py File Reference

solve a simple puzzle using SCIP More...

Go to the source code of this file.

Namespaces
	puzzle

Variables
	model = Model("puzzle")
	name
	x = model.addVar(vtype="I", name="octopusses")
	y = model.addVar(vtype="I", name="turtles")
	z = model.addVar(vtype="I", name="cranes")

Detailed Description

solve a simple puzzle using SCIP

Definition in file puzzle.py.