Microsoft.Z3.x64 4.8.4

Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed

<package xmlns="http://schemas.microsoft.com/packaging/2011/08/nuspec.xsd">
  <metadata>
    <id>Microsoft.Z3.x64</id>
    <version>4.8.4</version>
    <authors>Microsoft</authors>
    <owners>Microsoft</owners>
    <requireLicenseAcceptance>true</requireLicenseAcceptance>
    <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/master/LICENSE.txt</licenseUrl>
    <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
    <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg</iconUrl>
    <description>Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies:
    libgomp.so.1 installed</description>
    <copyright>© Microsoft Corporation. All rights reserved.</copyright>
    <language>en</language>
    <tags>smt constraint solver theorem prover</tags>
    <repository type="git" url="https://github.com/Z3Prover/z3.git" />
  </metadata>
</package>