Gelisp
Gelisp is an opensource, efficient, high-level API wrapping the Generic Constraints Development Environment (GECODE) for Common Lisp. This wrapper was initially developed by professor Camilo Rueda and currently it is mantained by Mauricio Toro.

More information: https://sourceforge.net/projects/gelisp/

ffi c