| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libpplite1 | Distribution: SUSE Linux Enterprise 15 SP5 |
| Version: 0.7 | Vendor: openSUSE |
| Release: bp155.1.7 | Build date: Wed May 17 18:24:12 2023 |
| Group: System/Libraries | Build host: obs-arm-10 |
| Size: 1151323 | Source RPM: pplite-0.7-bp155.1.7.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://www.cs.unipr.it/~zaffanella/PPLite/ | |
| Summary: Library for computations with polyhedra | |
PPLite is a C++ library implementing the abstract domain of convex polyhedra, to be used in tools for static analysis and verification.
GPL-3.0-or-later
* Mon Jun 21 2021 Jan Engelhardt <jengelh@inai.de>
- 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 <jengelh@inai.de>
- Initial package (version 0.6) for build.opensuse.org
/usr/lib64/libpplite.so.1 /usr/lib64/libpplite.so.1.0.0 /usr/share/licenses/libpplite1 /usr/share/licenses/libpplite1/COPYING
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 18:17:49 2024