facile src ec658c3b1be59771c50f1fc161d4daa43e0128abc9bd1080d7d47601938833cb Constraint programming library FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml. bero <bero@lindev.ch> https://facile.recherche.enac.fr/