Добрый день!
Я бы посоветовал Gecode написанный на C++
есть интерфейсы для работы с Common Lisp (Gecol, GeLISP)
:)
Сам еще много не работал с Gecode, но на сколько мне известно на данный момент это один из самых популярных CP-solvers с большим сообществом разработчиков
Еще интересный и обещающий проект - OscarLib на Scala - но он еще в стадии разработки.
Надеюсь был полезен)