6 lines
153 B
Plaintext
6 lines
153 B
Plaintext
|
Source: z3
|
||
|
|
Version: 4.8.8
|
||
|
|
Homepage: https://github.com/Z3Prover/z3
|
||
|
|
Description: Z3 is a theorem prover from Microsoft Research.
|
||
|
|
Supports: !arm64 && !uwp
|