The clp(FD,S) system developed during my PhD at INRIA-Rocquencourt.
The clp(FD,S) system developed during my PhD at INRIA