The implementation of AKL(FD)

AKL(FD) is an integration of (an extension of) the finite domain constraint system FD in AKL, a deep concurrent constraint programming language {CJH94]. In this paper we describe the implementation of the FD solver and its adaptation to the generic constraint interface of the AGENTS implementation of AKL. We also describe compilation techniques used by the AKL(FD) compiler