gecol
gecol is a library which provides bindings to GECODE in order to enjoy constraint programming in Lisp.

It's written by Kilian Sprotte and can be found at http://common-lisp.net/project/gecol/.