• Home
• tools.aqua
• z3-turnkey
• 4.12.6
• source code
• DotnetImports.props.in

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.12.6.cmake.modules.DotnetImports.props.in Maven / Gradle / Ivy

    
        ${_DN_OUTPUT_PATH}/
        ${_DN_XPLAT_LIB_DIR}/
        ${_DN_VERSION}
        ${_DN_CUSTOM_BUILDPROPS}