GitHub repository: xoolive/facile
Primary language: OCaml
Description: Python constraint programming library