Constraint Programming Solver

The approach

The implementation follows the ideas described in Chapter 12, “Concepts, Techniques, and Models of Computer Programming” by Peter Van Roy and Seif Haridi.

An overview of CP implementation in Mozart/Oz.

Status

WIP. Not suitable for use in production. Significant API changes and core implementation rewrites are expected.

Intro

Implemented constraints

• not_equal
• less_or_equal
• all_different (decomposition to not_equal)
• sum

Features

• views (linear combinations of variables in constraints)

Examples

• Sudoku
• Graph Coloring
• N-Queens
• Reindeers
• SEND + MORE = MONEY