Show HN: A firewall analysis library using the Z3 SMT solvergithub.com/Z3Prover5 pointsahelwer8 years ago