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/66ee9322ef9c4a474e607831cf9c6fea7c586811.zip sha256=4cdaed4e2f0f1f008552d3125b95880799be70cc18d0a7ff00da78f9c10e19de md5=66d2fb3dbbcd2fca866cc7ecaecc7a0b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pds-reachability/pds-reachability.0.2/opam |
No package is dependent
