opam on Github

absoluteversion
0.1

AbSolute solver

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

AuthorsMarie Pelleau <[email protected]> and Ghiles Ziat <[email protected]>
LicenseLGPL
Published
Homepagehttps://github.com/mpelleau/AbSolute
Issue Trackerhttps://github.com/mpelleau/AbSolute/issues
MaintainerMarie Pelleau <[email protected]>
Dependencies
Optional dependencies
  • vpl-core
Conflicts
  • vpl-core<0.4.2
Source [http] https://github.com/mpelleau/AbSolute/archive/v0.1.tar.gz
md5=9e6b38d0772d665687f00734c39ce845
sha512=ec3fe17241ef504328850d12de8e1ced14e2ccb31fb8832227c1e44ca52983406f6214bf270adbd2f260896dc83dd513e92a8e5f3c55818bc630b02605e3a85d
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/absolute/absolute.0.1/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.
OSZAR »