pds-reachability

Author JHU PL Lab <pl.cs@jhu.edu>
License Apache
Homepage https://github.com/JHU-PL-Lab/pds-reachability
Issue Tracker https://github.com/JHU-PL-Lab/pds-reachability/issues
Maintainer JHU PL Lab <pl.cs@jhu.edu>
Dependencies
& base-threads
batteries
jhupllib
oasis >= 0.4
ocamlbuild
ocamlfind
ounit
ppx_deriving >= 3.2
ppx_deriving_yojson
yojson
Published Aug 9, 2016
Source [http] http://github.com/JHU-PL-Lab/pds-reachability/archive/66ee9322ef9c4a474e607831cf9c6fea7c586811.zip
66d2fb3dbbcd2fca866cc7ecaecc7a0b
Statistics Installed 8 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2/opam

A PDS reachability query library.

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

No package is dependent