UbuntuUpdates.org

Package "python3-z3"

Name: python3-z3

Description:

theorem prover from Microsoft Research - Python 3 bindings

Latest version: 4.8.12-1
Release: jammy (22.04)
Level: base
Repository: universe
Homepage: https://github.com/Z3Prover/z3

Links


Download "python3-z3"


Other versions of "python3-z3" in Jammy

No other version of this package is available in the Jammy release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates