GitHub repository: ptal/AbSolute
Primary language: OCaml
Description: Constraint solver based on abstract domains