pplite-devel-0.7-bp156.2.6 RPM for x86_64

From OpenSuSE Leap 15.6 for x86_64

PPLite is a C++ library implementing the abstract domain of convex polyhedra,
to be used in tools for static analysis and verification.
The main characteristics of PPLite:

  * Both closed and NNC rational convex polyhedra are supported.
  * Exact computations are based on FLINT.

Provides

• pplite-devel
• pplite-devel(x86-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libflint.so.17()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgmp.so.10()(64bit)
• libgmpxx.so.4()(64bit)
• libpplite.so.1()(64bit)
• libpplite1 = 0.7
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

License

GPL-3.0-or-later

Changelog

* 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

Files

/usr/bin/pplite_lcdd
/usr/include/pplite
/usr/include/pplite/Abs_Poly.hh
/usr/include/pplite/Abs_Poly_Adapter.hh
/usr/include/pplite/Affine_Expr.hh
/usr/include/pplite/BBox.hh
/usr/include/pplite/Bit_Row.hh
/usr/include/pplite/Con.hh
/usr/include/pplite/Dyn_Poly.hh
/usr/include/pplite/FLINT_Integer.hh
/usr/include/pplite/FLINT_Rational.hh
/usr/include/pplite/F_Poly.hh
/usr/include/pplite/Gen.hh
/usr/include/pplite/Index_Partition.hh
/usr/include/pplite/Index_Set.hh
/usr/include/pplite/Integer.hh
/usr/include/pplite/Integer_fwd.hh
/usr/include/pplite/Linear_Expr.hh
/usr/include/pplite/Local_Stats.hh
/usr/include/pplite/Low_Level_Stats.hh
/usr/include/pplite/Output_Function.hh
/usr/include/pplite/Poly.hh
/usr/include/pplite/Poly_Rel.hh
/usr/include/pplite/Poly_Stats.hh
/usr/include/pplite/Poly_min.hh
/usr/include/pplite/Poly_templ.hh
/usr/include/pplite/Poly_widen.hh
/usr/include/pplite/Rational.hh
/usr/include/pplite/Rational_fwd.hh
/usr/include/pplite/Sat.hh
/usr/include/pplite/Scalar_Prod.hh
/usr/include/pplite/Two_Poly.hh
/usr/include/pplite/U_Poly.hh
/usr/include/pplite/Var.hh
/usr/include/pplite/ascii_dump.hh
/usr/include/pplite/ascii_dump_load.hh
/usr/include/pplite/clock.hh
/usr/include/pplite/globals.hh
/usr/include/pplite/mater_iterator.hh
/usr/include/pplite/memory_in_bytes.hh
/usr/include/pplite/pplite-config.h
/usr/include/pplite/pplite.hh
/usr/include/pplite/support_utils.hh
/usr/include/pplite/utils.hh
/usr/lib64/libpplite.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 15:02:59 2025