package absolute

  1. Overview
  2. No Docs
AbSolute solver

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

v0.1.tar.gz
md5=9e6b38d0772d665687f00734c39ce845
sha512=ec3fe17241ef504328850d12de8e1ced14e2ccb31fb8832227c1e44ca52983406f6214bf270adbd2f260896dc83dd513e92a8e5f3c55818bc630b02605e3a85d

Description

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

Published: 21 Oct 2020

Dependencies (5)

  1. picasso < "0.4"
  2. apronext >= "1.0.2"
  3. apron
  4. ocaml >= "4.08"
  5. dune >= "1.1"

Dev Dependencies

None

Used by

None

Conflicts (1)

  1. vpl-core < "0.4.2"