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_equal and (basic) all_different constraints are implemented. Sudoku and small instances of Graph Coloring and N-Queens work, but are slow and unstable. Significant API changes and core implementation rewrites are expected.