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
Theorem prover from Microsoft Research.
🔗 https://github.com/Z3Prover/z3
📜 App manifest
Current version: 4.12.1
Bucket: main
License: MIT
scoop install z3