UbuntuUpdates.org

Package "python3-z3"

Name: python3-z3

Description:

theorem prover from Microsoft Research - Python 3 bindings

Latest version: 4.8.12-3.1build1
Release: noble (24.04)
Level: base
Repository: universe
Head package: z3
Homepage: https://github.com/Z3Prover/z3

Links


Download "python3-z3"


Other versions of "python3-z3" in Noble

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

Changelog

Version: 4.8.12-3.1build1 2024-04-23 10:07:10 UTC

  z3 (4.8.12-3.1build1) noble; urgency=high

  * No change rebuild against frame pointers and time_t.

 -- Julian Andres Klode <email address hidden> Mon, 22 Apr 2024 11:52:27 +0200




About   -   Send Feedback to @ubuntu_updates