News for hackers. Stuff that matters.

A comment on Programming in Z3 by learning to think like a compiler. Parent comment

Re:Programming in Z3 by learning to think like a compiler by ahelwer on Wednesday May 05, 2021 @10:02AM (#27049918)
I used Z3 at work to check equivalence of two sets of firewall rules https://ahelwer.ca/post/2018-02-13-z3-firewall/
[ Parent | on HN ]

There are no comments on this comment yet.