Z3-2.12 2.1 can be downloaded from our website for free. This free program is a product of Microsoft Research. The program relates to Education Tools. Our built-in antivirus checked this download and rated it as 100% safe.
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.
- 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, HI-TECH C PRO for the PIC10/12/16 MCU Family or 12-Ants, which might be similar to Z3-2.12.