# 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.](http://mozart2.org/mozart-v1/doc-1.4.0/fdt/index.html)
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.