This is a preliminary set of examples to offer some starting points for experimenting with AMPL’s “logic” and constraint programming interfaces. We welcome comments for improvements or other examples.

Represents

Model File

Constraint program for balanced assignment of people to groups, using the `numberof`

operator.

Model for map coloring using not-equals constraint.

`n` queens problem: put n queens on an `n`-by-`n` chessboard so that no queen is attacking any other queen.

Constraint program for the `n` queens problem, using the `alldiff` operator.

Open-shop scheduling model using disjunctive constraints to avoid job and machine conflicts.

`alldiff`, equivalence (`<==>`), and strict inequality (`<`)

Hoist scheduling model using disjunctive constraints

Model to solve instances of the 3 x 3 Sudoku problem, using the `alldiff` operator