[mzl]

Here is the send more money puzzle in Gecode: https://github.com/Gecode/gecode/blob/develop/examples/money...

[zshrdlu]

Here in a 30-year-old Common Lisp library: https://unwindprotect.com/constraint-programming