HPC Module: z3
Synopsis
Adds the z3 API to your environment.
| About This Software | |
|---|---|
| Official Site | https://www.z3.io |
| Tags |
Installed Versions
| Version | Install Date | Default? |
|---|---|---|
| 4.8.4 | 2019-04-12 |
Description
Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license.
If you are not familiar with Z3, you can start with https://github.com/Z3Prover/z3/wiki#background
Category
| Library | Programming | Software | SysAdmin |
|---|---|---|---|