Package "z3"
| Name: | z3 |
Description: |
theorem prover from Microsoft Research |
| Latest version: | 4.8.7-4build1 |
| Release: | focal (20.04) |
| Level: | base |
| Repository: | universe |
| Homepage: | https://github.com/Z3Prover/z3 |
Links
Download "z3"
Other versions of "z3" in Focal
No other version of this package is available in the Focal release.Packages in group
Deleted packages are displayed in grey.
Changelog
There is no recent update for this package.
About
-
Send Feedback to @ubuntu_updates
