pds-reachability

AuthorJHU PL Lab <pl.cs@jhu.edu>
LicenseApache
Homepagehttps://github.com/JHU-PL-Lab/pds-reachability
Issue Trackerhttps://github.com/JHU-PL-Lab/pds-reachability/issues
MaintainerJHU 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
PublishedAug 9, 2016
Source [http] https://github.com/JHU-PL-Lab/pds-reachability/archive/66ee9322ef9c4a474e607831cf9c6fea7c586811.zip
66d2fb3dbbcd2fca866cc7ecaecc7a0b
StatisticsInstalled 2 times last month.
Edithttps://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