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.

⌘K

Start typing to search...

Search across content, newsletters, and subscribers