[ 源代码: z3 ]
软件包:libz3-dev(4.8.12-3.1 以及其他的)
theorem prover from Microsoft Research - development files
其他与 libz3-dev 有关的软件包
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1+b2)
- theorem prover from Microsoft Research - runtime libraries