pds-reachabilityversion
A PDS reachability query library
This library performs efficient reachability queries on abstractly specified push-down systems.
| Author | JHU PL Lab <pl.cs@jhu.edu> |
|---|---|
| License | Apache-1.0+ |
| Published | |
| Homepage | https://github.com/JHU-PL-Lab/pds-reachability |
| Issue Tracker | https://github.com/JHU-PL-Lab/pds-reachability/issues |
| Maintainer | JHU PL Lab <pl.cs@jhu.edu> |
| Dependencies |
|
| Source [http] | https://github.com/JHU-PL-Lab/pds-reachability/archive/b425d6f83d811dfa4c70e96d3bead4dfa257169e.zip md5=0033336c6558550fb4cf4cfbc5548b24 sha512=ebda525ec2b665c3e31e939044614c3bdade5d29da404296b946500f82feef6c4470accb944cad4a5ba972990608b8e198a8dc551420d828cafa896a88e69090 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.2/opam |
No package is dependent
