absolute

AbSolute solver
Description

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

Install
Documentation github.com LGPL License Edit opam file
Published
21 Oct 2020
Authors
Maintainers
Sources
v0.1.tar.gz
md5=9e6b38d0772d665687f00734c39ce845 sha512=ec3fe17241ef504328850d12de8e1ced14e2ccb31fb8832227c1e44ca52983406f6214bf270adbd2f260896dc83dd513e92a8e5f3c55818bc630b02605e3a85d
Dependencies
picasso
apronext >= "1.0.2"
apron
ocaml >= "4.08"
dune >= "1.1"
Reverse Dependencies
Conflicts
vpl-core < "0.4.2"