mirror of
https://github.com/cemu-project/vcpkg.git
synced 2025-02-23 11:07:10 +01:00
4 lines
127 B
Plaintext
4 lines
127 B
Plaintext
Source: z3
|
|
Version: 4.8.6
|
|
Homepage: https://github.com/Z3Prover/z3
|
|
Description: Z3 is a theorem prover from Microsoft Research. |