libabsoluteversion
Libabsolute
Libabsolute is a constraint programming library based on abstract domains from the theory of abstract interpretation. It is used and distributed with the AbSolute constraint solver.
| Authors | Marie Pelleau <marie.pelleau@i3s.unice.fr> and Ghiles Ziat <ghiles.ziat@lip6.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> |
| 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/libabsolute/libabsolute.0.1/opam |
Required by
- absolute>=0.2
