z3-z3-4.13.0.contrib.qprofdiff.qprofdiff.vcxproj 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

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

Show newest version



  
    
      Debug
      Win32
    
    
      Release
      Win32
    
    
      Debug
      x64
    
    
      Release
      x64
    
  
  
    15.0
    {96E7E3EF-4162-474D-BD32-C702632AAF2B}
    qprofdiff
    8.1
  
  
  
    Application
    true
    v141
    NotSet
  
  
    Application
    false
    v141
    true
    MultiByte
  
  
    Application
    true
    v141
    MultiByte
  
  
    Application
    false
    v141
    true
    MultiByte
  
  
  
  
  
  
  
    
  
  
    
  
  
    
  
  
    
  
  
  
    $(IncludePath)
    $(LibraryPath)
  
  
    $(IncludePath)
    $(LibraryPath)
  
  
    
      Level3
      Disabled
      true
      MultiThreadedDebugDLL
      ..\..\src\util;%(AdditionalIncludeDirectories)
      
      
      ProgramDatabase
    
    
      $(LibraryPath);%(AdditionalLibraryDirectories)
    
  
  
    
      Level3
      Disabled
      true
      ..\..\src\util;%(AdditionalIncludeDirectories)
    
  
  
    
      Level3
      MaxSpeed
      true
      true
      true
      ..\..\src\util;%(AdditionalIncludeDirectories)
    
    
      true
      true
    
  
  
    
      Level3
      MaxSpeed
      true
      true
      true
      ..\..\src\util;%(AdditionalIncludeDirectories)
    
    
      true
      true