Changelog for z3-python-4.4.1-1.1.x86_64.rpm :
Tue Aug 2 14:00:00 2016 devAATTstellardeath.org
- Update to version 4.4.1, changelog since 4.4.0:
- This release marks the transition to the new GitHub fork & pull model; the
unstable and contrib branches will be retired with all new contributions
going into the master branch directly.
- A multitude of bugs has been fixed.
- New Feature: Support for optimization queries. The SMT-LIB2 command language
is augmented by three commands (maximize ), (minimize (assert-soft [:weight ] [:id ]). The
programmatic API also contains a dedicated context for solving optimization
queries. The TACAS 2015 tool paper by Bjorner, Dung and Fleckenstein
describes additional details and the online tutorial on
http://rise4fun.com/z3opt illustrates some uses.

Fri May 22 14:00:00 2015 devAATTstellardeath.org
- Put .so file in -python package

Thu May 21 14:00:00 2015 devAATTstellardeath.org
- Initial package