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.
* Fri Feb 13 2026 Jerry James <loganjerry@gmail.com> - 4.15.8-1
- Version 4.15.8
* Tue Feb 10 2026 Jerry James <loganjerry@gmail.com> - 4.15.7-1
- Version 4.15.7
- Make the doc subpackage noarch again
* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.15.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Wed Jan 14 2026 Jerry James <loganjerry@gmail.com> - 4.15.4-2
- Reflow the description text
- Be more precise about globbing in %files
* Thu Oct 30 2025 Jerry James <loganjerry@gmail.com> - 4.15.4-1
- Version 4.15.4
* Mon Oct 13 2025 Richard W.M. Jones <rjones@redhat.com> - 4.15.3-3
- OCaml 5.4.0 rebuild
* Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 4.15.3-2
- Rebuilt for Python 3.14.0rc3 bytecode
* Sat Aug 16 2025 Jerry James <loganjerry@gmail.com> - 4.15.3-1
- Version 4.15.3
* Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 4.15.2-5
- Rebuilt for Python 3.14.0rc2 bytecode
* Thu Aug 07 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-4
- Stop building on 32-bit x86
- Provide the PyPI name for the python subpackage
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.15.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-2
- Rebuild to fix OCaml dependencies
* Wed Jun 25 2025 Jerry James <loganjerry@gmail.com> - 4.15.2-1
- Version 4.15.2
* Wed Jun 11 2025 Jerry James <loganjerry@gmail.com> - 4.15.1-1
- Version 4.15.1
* Mon Jun 02 2025 Python Maint <python-maint@redhat.com> - 4.15.0-2
- Rebuilt for Python 3.14
* Wed May 21 2025 Jerry James <loganjerry@gmail.com> - 4.15.0-1
- Version 4.15.0
* Mon May 05 2025 Yaakov Selkowitz <yselkowi@redhat.com> - 4.14.1-2
- Specify Python bindings installation directory
* Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 4.14.1-1
- Version 4.14.1
* Tue Mar 04 2025 Jerry James <loganjerry@gmail.com> - 4.14.0-1
- Version 4.14.0
* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 4.13.4-2
- Move configuration steps to %conf
* Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.4-1
- Version 4.13.4
* Fri Oct 11 2024 Jerry James <loganjerry@gmail.com> - 4.13.3-1
- Version 4.13.3
* Fri Sep 27 2024 Jerry James <loganjerry@gmail.com> - 4.13.2-1
- Version 4.13.2
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.13.0-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-5
- Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 4.13.0-4
- OCaml 5.2.0 ppc64le fix
* Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 4.13.0-3
- Rebuilt for Python 3.13
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 4.13.0-2
- OCaml 5.2.0 for Fedora 41
* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-1
- Version 4.13.0
* Sun Feb 25 2024 Jerry James <loganjerry@gmail.com> - 4.12.6-1
- Version 4.12.6
