Downloading Z3-2.12 2.1 from the developer's website was possible when we last checked. We cannot confirm if there is a free download of this software available. The most popular version of the program 2.1. We recommend checking the downloaded files with any free antivirus. Z3-2.12 lies within Education Tools, more precisely Science Tools. This free software is an intellectual property of Microsoft Research.
From the developer:
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in Limitations:
- Expose coefficients used in arithmetical proofs.
You may want to check out more software, such as Chinese 12 ShengXiao, 12-Ants or Matrix-12 V, which might be similar to Z3-2.12.
Office Tools
Music Production