package absolute

  1. Overview
  2. Docs
AbSolute solver

Install

github.com Readme Changelog LGPL-3.0-or-later License Edit opam file

Authors

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

Maintainers

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

Sources

0.3.tar.gz
md5=0dcb117b36b1afc68ba2c57186f6d04e
sha512=efcb9bf2a7fb5c62a00b35e5427064af65208186be0a6d343ac56206d5466951ef4593db04dc412987a11018f75d2952d4ab0e2384f588befaa50c8e1921133f

Description

AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation.

Published: 03 Jul 2023

Dependencies (7)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None