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. A single ‘not_equal’ constraint implemented. Graph coloring examples work, but are slow and unstable. Significant API changes and space implementation rewrite are expected.