Closed ahelwer closed 5 years ago
The code uses a hardcoded reference to Microsoft.Z3 4.4.1 (binaries included in repo), to be replaced once the official NuGet package is released.
Code is fully documented & tested, and includes a detailed README.
The code uses a hardcoded reference to Microsoft.Z3 4.4.1 (binaries included in repo), to be replaced once the official NuGet package is released.
Code is fully documented & tested, and includes a detailed README.