mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-28 11:47:56 +08:00
4 lines
53 B
Plaintext
4 lines
53 B
Plaintext
|
Source: z3
|
||
|
Version: 4.8.4
|
||
|
Description: An SMT solver
|