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
21 May 2019
Authors
Maintainers
Sources
b425d6f83d811dfa4c70e96d3bead4dfa257169e.zip
md5=0033336c6558550fb4cf4cfbc5548b24 sha512=ebda525ec2b665c3e31e939044614c3bdade5d29da404296b946500f82feef6c4470accb944cad4a5ba972990608b8e198a8dc551420d828cafa896a88e69090
Dependencies
dune
yojson < "2.0.0"
ppx_deriving_yojson >= "2.1"
ppx_deriving >= "3.2"
ounit build
ocamlfind build
ocamlbuild build
ocaml-monadic >= "0.4.1"
jhupllib >= "0.2.1"
jbuilder >= "1.0+beta17"
batteries >= "2.4.0"
base-threads
ocaml >= "4.04.0"
Reverse Dependencies