absoluteversion
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.2.tar.gz md5=7fa3ddb22997078b47f517ada5f6cb96 sha512=43aff8a0f05022b90ff89f0b2feacdc829e9e6da9be88f802254aff383823b2d8f3dc4e3a694a9d534493d3e60b8a98de9c45a4690c3275b58a6a9dba476e133 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/absolute/absolute.0.2/opam |
No package is dependent
