FICO Xpress Optimization Examples Repository: Futoshiki (CP and MIP models)

FICO Xpress Optimization Examples Repository

Futoshiki (CP and MIP models)

Description

Playing Futoshiki: fill in the grid so that every row and column contains the numbers 1-5. The `greater than' of `less than' signs indicate where a number is larger or smaller than its neighbor.

The models futo.mos and futo_ka.mos solve a given Futoshiki grid with MIP and CP respectively.

futo.zip

[download all files]

Source Files

By clicking on a file name, a preview is opened at the bottom of this page.

futo.mos	[download]
futo_ka.mos	[download]

Data Files

futo1.dat	[download]
futo2.dat	[download]

futo1.dat

! Data set from "The Guardian", 30 Sep, 2006.

ISKNOWN: [(3 3) 2]

ISGREATER: [(1 2 1 1) true (1 3 1 2) true (2 1 2 2) true (2 3 2 2) true 
            (2 4 3 4) true (2 5 2 4) true (3 1 3 2) true (3 4 4 4) true
            (5 1 4 1) true (5 5 4 5) true ]