stable

z3-4.5.0-1.fc25

FEDORA-2016-1a2578db51 created by jjames 8 years ago for Fedora 25

Changes in version 4.5.0:

  • New features:

    • New theories of strings and sequences.
    • Incremental consequence finder for finite domains.
    • CMake build system (thanks @delcypher).
    • Updated and improved OCaml API (thanks @martin-neuhaeusser).
    • Updated and improved Java API (thanks @cheshire).
    • New resource limit facilities to avoid non-deterministic timeout behaviour.
    • New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes).
    • QSAT: a new solver for quantified arithmetic problems. See: Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.
  • A multitude of bugs has been fixed.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2016-1a2578db51

This update has been submitted for testing by jjames.

8 years ago

This update has been pushed to testing.

8 years ago

This update has reached 3 days in testing and can be pushed to stable now if the maintainer wishes

8 years ago

This update has been submitted for stable by jjames.

8 years ago

This update has been pushed to stable.

8 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
medium
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
8 years ago
in testing
8 years ago
in stable
8 years ago

Automated Test Results