Constraint Programming Solver

This is an Elixir implementation of the ideas described in Chapter 12, "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi.

Visit Original Article →