package pds-reachability
A PDS reachability query library.
Install
Dune Dependency
Authors
Maintainers
Sources
4c7b9abf5ff73e73b7b23455f1f626387311fb86.zip
sha256=ace7feb4849aaf8a3d2621d1a80928c0cac89d51fd3700b3fe2a54446f6a3343
md5=fd3acd007a7247833868a9d1f7470939
Description
This library performs efficient reachability queries on abstractly specified push-down systems.
Published: 01 Jul 2017
Dependencies (12)
-
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
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page