package pds-reachability
A PDS reachability query library.
Install
Dune Dependency
Authors
Maintainers
Sources
66ee9322ef9c4a474e607831cf9c6fea7c586811.zip
sha256=4cdaed4e2f0f1f008552d3125b95880799be70cc18d0a7ff00da78f9c10e19de
md5=66d2fb3dbbcd2fca866cc7ecaecc7a0b
Description
This library performs efficient reachability queries on abstractly specified push-down systems.
Published: 09 Aug 2016
Dependencies (11)
-
yojson
< "2.0.0" - ppx_deriving_yojson
-
ppx_deriving
>= "3.2" -
ounit
build & >= "2.2.0" -
ocamlfind
build -
ocamlbuild
build -
oasis
build & >= "0.4" - jhupllib
-
batteries
>= "2.4.0" - base-threads
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page