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.7
ocaml-monadic
ocamlbuild
ocamlfind
ounit
ppx_deriving>= 3.2
ppx_deriving_yojson>= 2.1
yojson
PublishedJun 30, 2017
Source [http] https://github.com/JHU-PL-Lab/pds-reachability/archive/4c7b9abf5ff73e73b7b23455f1f626387311fb86.zip
fd3acd007a7247833868a9d1f7470939
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.1/opam

A PDS reachability query library.

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

No package is dependent