UbuntuUpdates.org

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