Changelog for pplite-devel-0.11-1.3.x86_64.rpm :

* Sun Nov 12 2023 Jan Engelhardt - Update to release 0.11
* Adds a prototype implementation of the finite powerset of Poly elements (PSet).
* Provides an efficiency-improved version of the F_Poly domain.
* The finite powerset domain is now a class template: pre-generated instances, include finite sets of boxed polyhedra (P_Set) and finite sets of Cartesian factored boxed polyhedra (FP_Set).
* Added support for the integral split operator.
* Added new method `Index_Set get_unconstrained` to polyhedra domains, returning the set of unconstrained space dimensions.
* Mon Jun 21 2021 Jan Engelhardt - Update to release 0.7
* This version also adds a C++ polymorphic interface allowing to experiment with several variants of the domain of convex polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats versions, computing timing information for abstract operators.
* Wed Sep 30 2020 Jan Engelhardt - Initial package (version 0.6) for build.opensuse.org