यहाँ z3 का १ संस्करण छन्, देखि हालको 5.3.1 सम्म। हरेक संस्करणको लिङ्क प्रकाशकका आफ्नै इन्स्टलर फाइलहरूमा जान्छ।
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 5.3.1पछिल्लो | — | ६४-बिट ZIPARM64 ZIP३२-बिट ZIP |
Theorem prover from Microsoft Research.
यहाँ z3 का १ संस्करण छन्, देखि हालको 5.3.1 सम्म। हरेक संस्करणको लिङ्क प्रकाशकका आफ्नै इन्स्टलर फाइलहरूमा जान्छ।
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 5.3.1पछिल्लो | — | ६४-बिट ZIPARM64 ZIP३२-बिट ZIP |