z3
Z3 is a theorem prover from Microsoft Research.
Installation
To install this package, run one of the following:
Usage Tracking
4.4.0
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Z3 is a theorem prover from Microsoft Research.
Last Updated
Dec 22, 2015 at 19:34
License
MIT
Total Downloads
1.9K
Supported Platforms
linux-64
linux-32
macOS-64