package libabsolute

  1. Overview
  2. No Docs
Libabsolute

Install

github.com Edit opam file

Authors

  1. M
    Marie Pelleau <marie.pelleau@i3s.unice.fr>
  2. G
    Ghiles Ziat <ghiles.ziat@lip6.fr>

Maintainers

  1. M
    Marie Pelleau <marie.pelleau@i3s.unice.fr>

Sources

0.2.tar.gz
md5=7fa3ddb22997078b47f517ada5f6cb96
sha512=43aff8a0f05022b90ff89f0b2feacdc829e9e6da9be88f802254aff383823b2d8f3dc4e3a694a9d534493d3e60b8a98de9c45a4690c3275b58a6a9dba476e133

Description

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.

Published: 13 Dec 2022

Dependencies (6)

  1. menhir >= "20180528"
  2. picasso >= "0.3.0"
  3. apronext >= "1.0.2"
  4. apron
  5. ocaml >= "4.11"
  6. dune >= "2.0"

Dev Dependencies

None

Used by (1)

  1. absolute >= "0.2"

Conflicts

None