Classical CFL Engines

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

• Classical Grammar-Driven CFL Reachability
• Subcubic PEG Alias Analysis
• CAT and IEOCE Engines
• Paper Engines: PEARL, Stg, and Sqid
• CERT-CFL: Cardinality-Certified Exact Solving
• POCR Migration Matrix