Opam Package absolute.0.1

Package info

opam-nameabsolute
opam-version0.1
synopsisAbSolute solver
descriptionAbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation.
authors
  • Marie Pelleau <marie.pelleau@i3s.unice.fr>
  • Ghiles Ziat <ghiles.ziat@lip6.fr>
homepagehttps://github.com/mpelleau/AbSolute
licenseLGPL
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

absolute

Package files

lib/absolute/opam
lib/absolute/dune-package
lib/absolute/META
lib/absolute
doc/absolute/README.md
doc/absolute/LICENSE
doc/absolute
bin/absolute