The clp(FD,S) system