Interesting coincidence! I just wrote a post on checking Azure firewall equivalence with Z3 two days ago: https://medium.com/@ahelwer/checking-firewall-equivale

Interesting coincidence! I just wrote a post on checking Azure firewall equivalence with Z3 two days ago: https://medium.com/@ahelwer/checking-firewall-equivalence-with-z3-c2efe5051c8f https://medium.com/@ahelwer/checking-firewall-equivalence-wi... This post deals with a significantly harder problem, though.