library(fd_search)

Predicates

delete(-X, +List, -R, ++Arg, ++Select)

Choose a domain variable from a list according to selection criterion.

indomain(?Var, ++Method)

a flexible way to assign values to finite domain variables

nth_value(+Domain, ++N, -Value)

return the nth value in a domain

search(+L, ++Arg, ++Select, +Choice, ++Method, +Option)

A generic search routine for finite domains or IC which implements different partial search methods (complete, credit, lds, bbs, dbs, sbds, gap_sbds, gap_sbdd)