absoluteversion Documentation on ocaml.org
AbSolute solver
AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation.
| Authors | Marie Pelleau <marie.pelleau@i3s.unice.fr> and Ghiles Ziat <ghiles.ziat@epita.fr> |
|---|---|
| License | LGPL-3.0-or-later |
| Published | |
| Homepage | https://github.com/mpelleau/AbSolute |
| Issue Tracker | https://github.com/mpelleau/AbSolute/issues |
| Maintainer | Marie Pelleau <marie.pelleau@i3s.unice.fr> |
| Available | arch != "x86_32" & arch != "arm32" |
| Dependencies | |
| Source [http] | https://github.com/mpelleau/AbSolute/archive/0.3.tar.gz md5=0dcb117b36b1afc68ba2c57186f6d04e sha512=efcb9bf2a7fb5c62a00b35e5427064af65208186be0a6d343ac56206d5466951ef4593db04dc412987a11018f75d2952d4ab0e2384f588befaa50c8e1921133f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/absolute/absolute.0.3/opam |
No package is dependent
