pds-reachabilityversion

A PDS reachability query library.

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

AuthorJHU PL Lab <pl.cs@jhu.edu>
LicenseApache-1.0+
Published
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
Source [http] https://github.com/JHU-PL-Lab/pds-reachability/archive/4c7b9abf5ff73e73b7b23455f1f626387311fb86.zip
sha256=ace7feb4849aaf8a3d2621d1a80928c0cac89d51fd3700b3fe2a54446f6a3343
md5=fd3acd007a7247833868a9d1f7470939
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.1/opam
No package is dependent