Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: z3 | Distribution: Mageia |
Version: 4.13.0 | Vendor: Mageia.Org |
Release: 2.mga10 | Build date: Wed Mar 5 00:47:42 2025 |
Group: Sciences/Mathematics | Build host: localhost |
Size: 24784958 | Source RPM: z3-4.13.0-2.mga10.src.rpm |
Packager: wally <wally> | |
Url: https://github.com/Z3Prover/z3 | |
Summary: Satisfiability Modulo Theories (SMT) solver |
Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.
MIT
* Tue Mar 04 2025 wally <wally> 4.13.0-2.mga10 + Revision: 2160477 - rebuild for python3.13 * Tue Aug 27 2024 neoclust <neoclust> 4.13.0-1.mga10 + Revision: 2091579 - New version 4.13.0 * Sat Dec 30 2023 daviddavid <daviddavid> 4.12.4-1.mga10 + Revision: 2024482 - new version: 4.12.4 - rebuild for py3.12
/usr/bin/z3 /usr/lib/.build-id /usr/lib/.build-id/b6 /usr/lib/.build-id/b6/a1baae91488f0202d4dc970f06093dcd8e7e64 /usr/share/doc/z3 /usr/share/doc/z3/README.md /usr/share/doc/z3/RELEASE_NOTES.md /usr/share/man/man1/z3.1.xz
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Mar 15 05:23:21 2025