Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

z3-4.8.8-1 RPM for x86_64

From OpenMandriva 4.2 for x86_64 / main / release

Name: z3 Distribution: OpenMandriva Lx
Version: 4.8.8 Vendor: OpenMandriva
Release: 1 Build date: Tue Nov 10 07:00:05 2020
Group: Unspecified Build host: rhel.openmandriva.org
Size: 11774520 Source RPM: z3-4.8.8-1.src.rpm
Packager: bero <bero@lindev.ch>
Summary: The Z3 Theorem Prover
Z3 Theorem Prover is a satisfiability modulo theories (SMT) solver.

Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays,
datatypes, uninterpreted functions, and quantifiers. Its main
applications are extended static checking, test case generation,
and predicate abstraction.

Provides

Requires

License

MIT

Files

/usr/bin/z3


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 11 23:03:19 2021