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
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/b425d6f83d811dfa4c70e96d3bead4dfa257169e.zip
md5=0033336c6558550fb4cf4cfbc5548b24
sha512=ebda525ec2b665c3e31e939044614c3bdade5d29da404296b946500f82feef6c4470accb944cad4a5ba972990608b8e198a8dc551420d828cafa896a88e69090
StatisticsInstalled 6 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.2/opam
No package is dependent