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-2.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] http://github.com/JHU-PL-Lab/pds-reachability/archive/c13876200efddbfd4248c4b8137d9109f46cf8ae.zip
md5=e39c457a945cc4c42953502a1e56f14b
sha512=325e3e7f6eae417d4452e65360eeb756fc68f93bb4b842f2b2b5c9d02416e4e7c00f96b6f0ac051b287b7bf42a99cdab32188f64eaa7d9d424ade6567816d323
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.3/opam
No package is dependent