search

Z3Prover / FirewallChecker

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

Upgraded to dotnet core 3.1 and z3 4.8.8 #10

Closed ahelwer closed 4 years ago