z3-z3-4.13.0.src.api.dotnet.Microsoft.Z3.targets Maven / Gradle / Ivy

Go to download

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

There is a newer version: 4.13.4




  
    
      %(RecursiveDir)%(FileName)%(Extension)
      PreserveNewest