search

Z3Prover / FirewallChecker

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

Upgraded to Z3 4.8.1, use Z3 NuGet package #2

Closed ahelwer closed 5 years ago

ahelwer commented 5 years ago

Deleted Z3 binaries in repo