GitHub repository: mpelleau/AbSolute
Primary language: OCaml
Created: 2016-02-23T11:04:30Z
Description: Constraint solver based on abstract domains