⚡ Policy Intelligence

Z3 SMT Solver — Symbolic Policy Analysis for Rego, Cedar & Azure Policy