search

Z3Prover / FirewallChecker

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

Specified x64 PlatformTarget, upgraded Z3 NuGet package #4

Closed ahelwer closed 5 years ago

ahelwer commented 5 years ago

Now using Microsoft.Z3.x64 4.8.5