pplite
======
/usr/lib/.build-id
/usr/lib/.build-id/d7
/usr/share/doc/pplite
/usr/share/licenses/pplite

/usr/lib/.build-id/d7/0ca0cfa61f0018407e72a55c8be610f5b393c6
/usr/lib64/libpplite.so.4
/usr/lib64/libpplite.so.4.0.0
/usr/share/doc/pplite/CREDITS
/usr/share/licenses/pplite/COPYING

pplite-devel
============
/usr/include/pplite
/usr/lib/.build-id
/usr/lib/.build-id/31
/usr/share/doc/pplite-devel
/usr/share/doc/pplite-devel/demos
/usr/share/doc/pplite-devel/demos/pplite_lcdd
/usr/share/doc/pplite-devel/demos/pplite_lcdd/.libs
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples

/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/BBox_impl.hh
/usr/include/pplite/B_Poly.hh
/usr/include/pplite/Bits.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/Integer.hh
/usr/include/pplite/Integer_fwd.hh
/usr/include/pplite/Itv.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/PolySet.hh
/usr/include/pplite/PolySet_templ.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/lib/.build-id/31/1c8f1b3a723fd4f493661065043f8a6e887f45
/usr/lib64/libpplite.so
/usr/share/doc/pplite-devel/demos/Makefile
/usr/share/doc/pplite-devel/demos/Makefile.am
/usr/share/doc/pplite-devel/demos/Makefile.in
/usr/share/doc/pplite-devel/demos/pplite_lcdd/.libs/pplite_lcdd
/usr/share/doc/pplite-devel/demos/pplite_lcdd/Makefile
/usr/share/doc/pplite-devel/demos/pplite_lcdd/Makefile.am
/usr/share/doc/pplite-devel/demos/pplite_lcdd/Makefile.in
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/1d.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/1da.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/Makefile
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/Makefile.am
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/Makefile.in
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/allzero.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccc4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccc5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccc6.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccp4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccp5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ccp6.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp4.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp6.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cp7.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cross10.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cross12.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cross4.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cross6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cross8.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube10.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube12.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube3.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cube8.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cubetop.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cubocta.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cut16_11.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cut32_16.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyc.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic10-4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic12-6.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic14-8.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic16-10.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic17_8.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/cyclic25_13.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dcube10.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dcube12.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dcube3.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dcube6.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dcube8.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/diamond.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/dodeca_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/ex1.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/grcubocta.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/hexocta.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/icododeca_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in0.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in1.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in2.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in3.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in4.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/in7.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/infeas.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/integralpoints.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/irbox20-4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/irbox200-4.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/kkd18_4.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/kkd27_5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/kkd38_6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/kq20_11_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/metric40_11.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/metric80_16.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit288-281.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit31-20.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit41-16.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit708-9.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit71-61.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mit90-86.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mp5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mp5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mp5a.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/mp6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/nonfull.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/origin.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/prodst62.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/project1_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/project1res.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/project2_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/project2res.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/rcubocta.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/redcheck.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/reg24-5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/reg24-5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/reg600-5_m.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/rhomtria_m.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sample.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh1.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh2.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh3.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh4.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh6.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh7.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/sampleh8.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/samplev1.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/samplev2.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/samplev3.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/trunc10.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/trunc7.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/tsp5.ext
/usr/share/doc/pplite-devel/demos/pplite_lcdd/examples/tsp5.ine
/usr/share/doc/pplite-devel/demos/pplite_lcdd/expected_mpz
/usr/share/doc/pplite-devel/demos/pplite_lcdd/expected_mpz_a
/usr/share/doc/pplite-devel/demos/pplite_lcdd/pplite_lcdd
/usr/share/doc/pplite-devel/demos/pplite_lcdd/pplite_lcdd.cc
/usr/share/doc/pplite-devel/demos/pplite_lcdd/pplite_lcdd.o

pplite-tools
============
/usr/lib/.build-id
/usr/lib/.build-id/9e

/usr/bin/pplite_lcdd
/usr/lib/.build-id/9e/d348980d2073b51dbb60c1183ea4d8fd8cfb8e

pplite-debuginfo
================
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/d7
/usr/lib/debug/.dwz
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64

/usr/lib/debug/.build-id/d7/0ca0cfa61f0018407e72a55c8be610f5b393c6
/usr/lib/debug/.build-id/d7/0ca0cfa61f0018407e72a55c8be610f5b393c6.debug
/usr/lib/debug/.dwz/pplite-0.11-1.fc38.x86_64
/usr/lib/debug/usr/lib64/libpplite.so.4.0.0-0.11-1.fc38.x86_64.debug

pplite-debugsource
==================
/usr/src/debug/pplite-0.11-1.fc38.x86_64
/usr/src/debug/pplite-0.11-1.fc38.x86_64/demos
/usr/src/debug/pplite-0.11-1.fc38.x86_64/demos/pplite_lcdd
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src

/usr/src/debug/pplite-0.11-1.fc38.x86_64/demos/pplite_lcdd/pplite_lcdd.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Abs_Poly.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Abs_Poly_Adapter.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Abs_Poly_Adapter.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Affine_Expr.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Affine_Expr.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/BBox.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/BBox_impl.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/B_Poly.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/B_Poly.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Bits.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Bits.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Con.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Con.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/FLINT_Integer.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/FLINT_Integer.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/FLINT_Rational.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/FLINT_Rational.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/F_Poly.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/F_Poly.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Gen.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Gen.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Index_Partition.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Integer.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Integer_fwd.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Itv.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Linear_Expr.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Linear_Expr.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Low_Level_Stats.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Low_Level_Stats.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Output_Function.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/PolySet.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/PolySet.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/PolySet_templ.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_Rel.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_Rel.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_Stats.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_Stats.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_conv.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_min.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_min.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_simpl.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_split.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_templ.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_widen.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Poly_widen.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Rational.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Rational_fwd.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Sat.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Sat.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Scalar_Prod.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/U_Poly.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/U_Poly.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Var.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/Var.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/ascii_dump.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/ascii_dump_load.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/clock.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/globals.cc
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/globals.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/mater_iterator.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/memory_in_bytes.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/support_utils.hh
/usr/src/debug/pplite-0.11-1.fc38.x86_64/src/utils.hh