• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code

×

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.

-turnkey.4.13.0.1.source-code.module-info Maven / Gradle / Ivy

module tools.aqua.turnkey.z3 {
  requires tools.aqua.turnkey.support;

  exports com.microsoft.z3;
  exports com.microsoft.z3.enumerations;
}