Interleaved-Dyck Reachability
=============================

Solvers, approximations, and reductions for typed interleaved-Dyck
reachability on DOT graphs.

.. toctree::
   :maxdepth: 1

   unary
   staged_bounds
   graph_reduction
   mcfl
   spds
   lcl
   affine_spds