absoluteversion

AbSolute solver

AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation.

AuthorsMarie Pelleau <marie.pelleau@i3s.unice.fr> and Ghiles Ziat <ghiles.ziat@lip6.fr>
LicenseLGPL
Published
Homepagehttps://github.com/mpelleau/AbSolute
Issue Trackerhttps://github.com/mpelleau/AbSolute/issues
MaintainerMarie Pelleau <marie.pelleau@i3s.unice.fr>
Dependencies
Optional dependencies
  • vpl-core
Source [http] https://github.com/mpelleau/AbSolute/archive/v0.1.tar.gz
md5=9e6b38d0772d665687f00734c39ce845
sha512=ec3fe17241ef504328850d12de8e1ced14e2ccb31fb8832227c1e44ca52983406f6214bf270adbd2f260896dc83dd513e92a8e5f3c55818bc630b02605e3a85d
StatisticsInstalled 18 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/absolute/absolute.0.1/opam
No package is dependent