search

Z3Prover / FirewallChecker

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

Upgraded Z3 package to 4.8.6 #5

Closed ahelwer closed 4 years ago

ahelwer commented 4 years ago

Builds successfully All tests pass Examples run successfully