• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• website.dox.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.13.0.doc.website.dox.in Maven / Gradle / Ivy

/**
   \mainpage An Efficient Theorem Prover

   Z3 is a high-performance theorem prover being developed at Microsoft Research.

   The Z3 website is at http://github.com/z3prover.

   This website hosts the automatically generated documentation for the Z3 APIs.

   @C_API@ @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@ @JS_API@
*/