z3-z3-4.12.6.src.api.dotnet.Microsoft.Z3.csproj.in Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

TurnKey artifact for Z3

There is a newer version: 4.13.0.1



  
  

    Microsoft.Z3
    Microsoft.Z3
    Microsoft.Z3

    README.md

    Z3 .NET Interface
    Z3 .NET Interface

    Z3

    Z3 is a satisfiability modulo theories solver from Microsoft Research.
    .NET Interface to the Z3 Theorem Prover

    Copyright (C) 2006- Microsoft Corporation
    Copyright (C) 2006- Microsoft Corporation

    Microsoft Corporation
    Microsoft Corporation

    @VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_TWEAK@
    @VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_TWEAK@

    @VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_TWEAK@
    @VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_TWEAK@

    ${DOTNET_PACKAGE_VERSION}
    smt constraint solver theorem prover

    Microsoft
    Microsoft

    8.0
  

  
  
    false
    false
  

  
    DELAYSIGN
    true
    true
  

  
  
    
    netstandard2.0;net45
    library
    True
    1701,1702
    4
    true
    $(OutputPath)\Microsoft.Z3.xml
  

  
  
${Z3_DOTNET_COMPILE_ITEMS}
  

  
  
  
  

  
  
    
      build
    
    
      build
    
  

  

  
  
    
      runtimes\win-x64\native
    
    
      runtimes\linux-x64\native
    
    
      runtimes\osx-x64\native
    
  

  
  
    
      runtimes\win-x86\native