Classical CFL Engines
=====================

Grammar-driven classical CFL reachability: the shared ``SolverSession``
backends, the paper engines, and the alias/value-flow clients built on them.

.. toctree::
   :maxdepth: 1

   classical
   subcubic_aa
   cat_ieoce
   pearl_stg_sqid
   cert_cfl
   pocr_migration