search

Z3Prover / FirewallChecker

A self-contained firewall checker
MIT License
101 stars 13 forks source link

Upgraded Z3 package, changed blog post link #9

Closed ahelwer closed 4 years ago

ahelwer commented 4 years ago

Upgraded to Microsoft.Z3.x64 4.8.7 Migrated blog post off medium for posterity