Updated nuget packages and added CI/CD workflow - Githubissues

Z3Prover / FirewallChecker

A self-contained firewall checker

MIT License

101 stars 14 forks source link

Updated nuget packages and added CI/CD workflow #12

Closed ahelwer closed 4 years ago

ahelwer commented 4 years ago

Updated Z3 to 4.8.9
Updated CommandLineParse package
Updated test packages
Added github CI/CD workflow with badge