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

This post deals with a significantly harder problem, though.