Upgraded nuget packages - Githubissues

Z3Prover / FirewallChecker

A self-contained firewall checker

MIT License

101 stars 13 forks source link

Upgraded nuget packages #11

Closed ahelwer closed 3 years ago

ahelwer commented 3 years ago

Upgraded to Z3 4.8.9
Upgraded CommandLineParser package
Upgraded test packages