Emmanuel-PLF / facile

FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
13Updated 6 months ago

Related projects: