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/4c7b9abf5ff73e73b7b23455f1f626387311fb86.zip sha256=ace7feb4849aaf8a3d2621d1a80928c0cac89d51fd3700b3fe2a54446f6a3343 md5=fd3acd007a7247833868a9d1f7470939 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2.1/opam |
No package is dependent
