Upgraded to .NET 5.0, upgraded Microsoft.Z3 package

Z3Prover / FirewallChecker

A self-contained firewall checker

MIT License

101 stars 13 forks source link

Closed ahelwer closed 2 years ago

ahelwer commented 2 years ago

Updated README Run builds & tests on multiple platforms in CI

ghost commented 2 years ago

All CLA requirements met.