Microsoft/Microsoft.Z3v4.12.2
✓ Verified.NET Std2.0
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Get Started
$ dotnet add package Microsoft.Z3Readme
No README available.
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
$ dotnet add package Microsoft.Z3No README available.