A PDS reachability query library

Install

Authors

Maintainers

Sources

b425d6f83d811dfa4c70e96d3bead4dfa257169e.zip
md5=0033336c6558550fb4cf4cfbc5548b24
sha512=ebda525ec2b665c3e31e939044614c3bdade5d29da404296b946500f82feef6c4470accb944cad4a5ba972990608b8e198a8dc551420d828cafa896a88e69090

Description

This library performs efficient reachability queries on abstractly specified push-down systems.

Published: 21 May 2019

Dependencies (13)

  1. dune
  2. yojson < "2.0.0"
  3. ppx_deriving_yojson >= "2.1"
  4. ppx_deriving >= "3.2"
  5. ounit build
  6. ocamlfind build
  7. ocamlbuild build
  8. ocaml-monadic >= "0.4.1"
  9. jhupllib >= "0.2.1"
  10. jbuilder >= "1.0+beta17"
  11. batteries >= "2.4.0"
  12. base-threads
  13. ocaml >= "4.04.0"

Dev Dependencies

    None

Used by

    None

Conflicts

    None