z3

Theorem prover from Microsoft Research.

🔗 https://github.com/Z3Prover/z3

📜 App manifest

Current version: 4.12.1

Bucket: main

License: MIT

Installation

scoop install z3