File "examples/clpfd_sudoku.pl"[download]

in pack:	trill_on_swish
size:	989

Recent changes

8 years ago

rzese

added all needed files

This file requires

• From the Prolog library
  • library(clpfd) resolved by
    • clpfd.pl: ins/2, all_distinct/1, transpose/2

Required predicates

• all_distinct/1 from library(clpfd)
• append/2 autoloaded
• ins/2 from library(clpfd)
• maplist/2 autoloaded
• same_length/2 autoloaded
• transpose/2 from library(clpfd)