Constraing solving using functional methods in C++ and Haskell. - View it on GitHub