VUISIS.Microsoft.Z3 4.8.11
Install from the command line:
Learn more about NuGet packages
$ dotnet add package VUISIS.Microsoft.Z3 --version 4.8.11
About this version
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Details
- VUISIS.Microsoft.Z3
-
VUISIS
- over 2 years ago
Assets
- package.nupkg
Download activity
- Total downloads 6
- Last 30 days 0
- Last week 0
- Today 0