package pds-reachability

  1. Overview
  2. No Docs
A PDS reachability query library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (4)

Authors

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Maintainers

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Sources

c13876200efddbfd4248c4b8137d9109f46cf8ae.zip
md5=e39c457a945cc4c42953502a1e56f14b
sha512=325e3e7f6eae417d4452e65360eeb756fc68f93bb4b842f2b2b5c9d02416e4e7c00f96b6f0ac051b287b7bf42a99cdab32188f64eaa7d9d424ade6567816d323

Description

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

Published: 18 Oct 2023

Dependencies (9)

  1. yojson >= "1.7.0"
  2. ppx_deriving_yojson >= "2.1"
  3. ppx_deriving >= "3.2"
  4. ocaml-monadic >= "0.4.1"
  5. jhupllib >= "0.3"
  6. dune >= "1.4"
  7. batteries >= "3.0"
  8. base-threads
  9. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. ounit with-test

Used by

None

Conflicts

None