A library of different search methods for finite domain problems is available as library(fd_search). See the Reference Manual for details.
