OCaml constraint programming library on integer & integer set finite domains
