pds-reachability

A PDS reachability query library.
Description

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

Install
Documentation github.com Edit opam file
Published
01 Jul 2017
Authors
Maintainers
Sources
4c7b9abf5ff73e73b7b23455f1f626387311fb86.zip
md5=fd3acd007a7247833868a9d1f7470939
Dependencies
yojson < "2.0.0"
ppx_deriving_yojson >= "2.1"
ppx_deriving >= "3.2"
ounit build & >= "2.2.0"
ocamlfind build
ocamlbuild build
ocaml-monadic
oasis build & >= "0.4.7"
jhupllib >= "0.1.1"
batteries >= "2.4.0"
base-threads
ocaml
Reverse Dependencies