absoluteversion
AbSolute solver
AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation.
| Authors | Marie Pelleau <[email protected]> and Ghiles Ziat <[email protected]> |
|---|---|
| License | LGPL-3.0-or-later |
| Published | |
| Homepage | https://github.com/mpelleau/AbSolute |
| Issue Tracker | https://github.com/mpelleau/AbSolute/issues |
| Maintainer | Marie Pelleau <[email protected]> |
| 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
