Maintained by Toby Walsh.

With support from the Science Foundation Ireland

Pattern catalog

Specification patterns

Modelling patterns

Alternate viewpoint
Matrix model

Refinement patterns

Auxiliary variables
Implied constraints
Matrix symmetry
Reflection symmetry

Solving patterns

Combining constraints
Dual heuristics