A PDS reachability query library
Description

This library performs efficient reachability queries on abstractly specified push-down systems.

Install
Published
21 May 2019
Authors
Maintainers
Sources
b425d6f83d811dfa4c70e96d3bead4dfa257169e.zip
md5=0033336c6558550fb4cf4cfbc5548b24 sha512=ebda525ec2b665c3e31e939044614c3bdade5d29da404296b946500f82feef6c4470accb944cad4a5ba972990608b8e198a8dc551420d828cafa896a88e69090
Dependencies
Reverse Dependencies