search

Z3Prover / FirewallChecker

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

Upgraded nuget packages and added CI/CD workflow #13

Closed ahelwer closed 3 years ago

ahelwer commented 4 years ago
ahelwer commented 4 years ago

@NikolajBjorner you'll need to approve this since I no longer have write access to Z3prover