Content of RPM latte-integrale-1.7.3b-8.fc28.i686.rpm :
/usr/bin/ConvertCDDextToLatte
/usr/bin/ConvertCDDineToLatte
/usr/bin/count-linear-forms-from-polynomial
/usr/bin/ehrhart
/usr/bin/ehrhart3
/usr/bin/hilbert-from-rays
/usr/bin/hilbert-from-rays-symm
/usr/bin/latte-count
/usr/bin/latte-integrate
/usr/bin/latte-maximize
/usr/bin/latte-minimize
/usr/bin/latte-triangulate
/usr/bin/latte2ext
/usr/bin/latte2ine
/usr/bin/polyhedron-to-cones
/usr/bin/top-ehrhart-knapsack
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/b42f41e17f612e7847fea1a11dd8b3b88f5efa
/usr/lib/.build-id/02/f8cd9e208ba84a1095beb431ab77413260886d
/usr/lib/.build-id/28
/usr/lib/.build-id/28/0d7e84515ba97c25645178fb68987e4964679f
/usr/lib/.build-id/34
/usr/lib/.build-id/34/f734bd442da4792905a7ab898d60ac1b5de92e
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/52425eeaae4fb9b92e9500f1d45e93d6dc67e6
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/acdd01036b47ad7419a42d66c63b3cd476d10b
/usr/lib/.build-id/60
/usr/lib/.build-id/60/e9c91c71ba05c0cbc6920e1f5af229d22c07f4
/usr/lib/.build-id/67
/usr/lib/.build-id/67/8afa24123f6ceabb46586e7705dacc018d1cab
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/c51eda1a5643cd292ffe5bd732f1758443d869
/usr/lib/.build-id/82
/usr/lib/.build-id/82/5895795c97be06718c34b80f83239abaa45fac
/usr/lib/.build-id/85
/usr/lib/.build-id/85/f27029d9546fd19da01185ac0523ffca33f21e
/usr/lib/.build-id/87
/usr/lib/.build-id/87/258d82ca31bf34bc70cf9ab8f8dffe7f3090ef
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/2bdb1a0f4e2fa1de54adc1f3ef75c6f6c1883e
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/b64b55c25a1ea942df0423dc3deae5645e7d2c
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/03e0bbe8f1c3eebb69ad1a0ef3be0b35c3d6d9
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/3a176d8d73c9dc63b385f0522200f4ed8ae18b
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/03029e7d99be0b5f39c4ccefbdeda594c46c7d
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/ee64229ea543da9ec5ed4d2f59aae173f9304b
/usr/lib/liblatte.so.0
/usr/lib/liblatte.so.0.0.0
/usr/lib/libnormalize.so.0
/usr/lib/libnormalize.so.0.0.0
/usr/share/doc/latte-integrale
/usr/share/doc/latte-integrale/AUTHORS
/usr/share/doc/latte-integrale/Conebyconeapproximations_08_11_2010.mpl
/usr/share/doc/latte-integrale/README
/usr/share/doc/latte-integrale/RealBarvinok-mars-exemples-2014-03-10.mpl
/usr/share/doc/latte-integrale/TODO
/usr/share/doc/latte-integrale/doc
/usr/share/doc/latte-integrale/doc/NEWS
/usr/share/doc/latte-integrale/doc/README
/usr/share/doc/latte-integrale/doc/manual.pdf
/usr/share/doc/latte-integrale/examples
/usr/share/doc/latte-integrale/examples/24_cell
/usr/share/doc/latte-integrale/examples/24_cell.cost
/usr/share/doc/latte-integrale/examples/README
/usr/share/doc/latte-integrale/examples/birkhoff
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-10.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-11.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-12.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-4.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-6.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-8.latte
/usr/share/doc/latte-integrale/examples/birkhoff/birkhoff-9.latte
/usr/share/doc/latte-integrale/examples/ccp
/usr/share/doc/latte-integrale/examples/ccp/ccp_5.ext
/usr/share/doc/latte-integrale/examples/ccp/ccp_5.ine
/usr/share/doc/latte-integrale/examples/ccp/ccp_6.ext
/usr/share/doc/latte-integrale/examples/ccp/ccp_6.ine
/usr/share/doc/latte-integrale/examples/ccp/ccp_7.ext
/usr/share/doc/latte-integrale/examples/ccp/ccp_7.ine
/usr/share/doc/latte-integrale/examples/ccp/readme
/usr/share/doc/latte-integrale/examples/crossCyclic
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_10.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_10.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_11.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_11.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_5.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_5.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_6.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_6.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_7.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_7.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_8.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_8.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_9.ext
/usr/share/doc/latte-integrale/examples/crossCyclic/cc_8_9.ine
/usr/share/doc/latte-integrale/examples/crossCyclic/readme
/usr/share/doc/latte-integrale/examples/crosspolytope
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-10.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-11.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-12.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-13.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-14.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-15.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-16.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-17.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-18.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-19.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-2.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-20.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-21.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-22.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-23.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-24.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-25.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-26.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-27.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-28.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-29.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-3.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-30.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-4.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-5.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-6.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-7.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-8.vrep
/usr/share/doc/latte-integrale/examples/crosspolytope/cross-polytope-9.vrep
/usr/share/doc/latte-integrale/examples/cubes
/usr/share/doc/latte-integrale/examples/cubes/cube-4-3.5.latte
/usr/share/doc/latte-integrale/examples/cubes/cube_10.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_10.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_11.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_11.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_12.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_12.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_13.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_13.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_14.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_14.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_2.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_2.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_3.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_3.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_4.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_4.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_5.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_5.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_6.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_6.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_7.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_7.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_8.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_8.ine
/usr/share/doc/latte-integrale/examples/cubes/cube_9.ext
/usr/share/doc/latte-integrale/examples/cubes/cube_9.ine
/usr/share/doc/latte-integrale/examples/cuww1
/usr/share/doc/latte-integrale/examples/cuww1.cost
/usr/share/doc/latte-integrale/examples/deloera
/usr/share/doc/latte-integrale/examples/deloera/6e.latte
/usr/share/doc/latte-integrale/examples/deloera/7h.latte
/usr/share/doc/latte-integrale/examples/deloera/C11.latte
/usr/share/doc/latte-integrale/examples/deloera/C12.latte
/usr/share/doc/latte-integrale/examples/deloera/another-birkhoff-simplex.vrep
/usr/share/doc/latte-integrale/examples/deloera/chan-robbins-yuen-pyramid.vrep
/usr/share/doc/latte-integrale/examples/deloera/some-birkhoff-simplex.vrep
/usr/share/doc/latte-integrale/examples/example1
/usr/share/doc/latte-integrale/examples/example2
/usr/share/doc/latte-integrale/examples/example3
/usr/share/doc/latte-integrale/examples/garcia
/usr/share/doc/latte-integrale/examples/haus
/usr/share/doc/latte-integrale/examples/haus/e1-after-intersection.ine
/usr/share/doc/latte-integrale/examples/haus/e2-after-intersection.ine
/usr/share/doc/latte-integrale/examples/haus/e3-after-intersection.ine
/usr/share/doc/latte-integrale/examples/haus/e4-after-intersection.ine
/usr/share/doc/latte-integrale/examples/haus/e4.ine
/usr/share/doc/latte-integrale/examples/haus/e5-after-intersection.ine
/usr/share/doc/latte-integrale/examples/hickerson
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-10
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-11
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-12
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-13
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-14
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-15
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-16
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-17
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-18
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-19
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-20
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-24
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-28
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-32
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-36
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-7
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-8
/usr/share/doc/latte-integrale/examples/hickerson/hickerson-9
/usr/share/doc/latte-integrale/examples/kahle
/usr/share/doc/latte-integrale/examples/kahle/K4.latte
/usr/share/doc/latte-integrale/examples/kahle/join.latte
/usr/share/doc/latte-integrale/examples/kahle/other.latte
/usr/share/doc/latte-integrale/examples/lehmann
/usr/share/doc/latte-integrale/examples/magic4x4
/usr/share/doc/latte-integrale/examples/magic5x5
/usr/share/doc/latte-integrale/examples/magic6x6
/usr/share/doc/latte-integrale/examples/matroid
/usr/share/doc/latte-integrale/examples/matroid/Billera1.lat
/usr/share/doc/latte-integrale/examples/matroid/Billera2.lat
/usr/share/doc/latte-integrale/examples/matroid/README
/usr/share/doc/latte-integrale/examples/matroid/Speyer1.lat
/usr/share/doc/latte-integrale/examples/matroid/Speyer2.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l1.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l10.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l11.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l12.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l13.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l14.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l15.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l16.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l17.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l18.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l19.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l2.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l20.ext.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l20.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l21.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l22.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l23.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l24.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l25.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l26.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l27.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l28.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l29.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l3.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l30.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l31.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l32.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l33.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l34.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l35.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l36.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l4.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l5.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l6.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l7.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l8.lat
/usr/share/doc/latte-integrale/examples/matroid/haws.oxleybasis.txt.l9.lat
/usr/share/doc/latte-integrale/examples/mcallister
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeImpossible
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeMinutes1
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeMinutes2
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeMinutes3
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeMinutes4
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeMinutes5
/usr/share/doc/latte-integrale/examples/mcallister/HivePolytopeSeconds
/usr/share/doc/latte-integrale/examples/metric
/usr/share/doc/latte-integrale/examples/metric/Fm_4.ext
/usr/share/doc/latte-integrale/examples/metric/Fm_4.ine
/usr/share/doc/latte-integrale/examples/metric/Fm_5.ext
/usr/share/doc/latte-integrale/examples/metric/Fm_5.ine
/usr/share/doc/latte-integrale/examples/metric/Fm_6.ext
/usr/share/doc/latte-integrale/examples/metric/Fm_6.ine
/usr/share/doc/latte-integrale/examples/random-simplex
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits2-9.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits4-9.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim3-digits5-9.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim4-digits2-9.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim6-digits4-9.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-1.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-10.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-2.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-3.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-4.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-5.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-6.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-7.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-8.vrep
/usr/share/doc/latte-integrale/examples/random-simplex/random-simplex-dim8-digits4-9.vrep
/usr/share/doc/latte-integrale/examples/rh
/usr/share/doc/latte-integrale/examples/rh/rh_10_20.ext
/usr/share/doc/latte-integrale/examples/rh/rh_10_20.ine
/usr/share/doc/latte-integrale/examples/rh/rh_10_25.ext
/usr/share/doc/latte-integrale/examples/rh/rh_10_25.ine
/usr/share/doc/latte-integrale/examples/rh/rh_10_30.ext
/usr/share/doc/latte-integrale/examples/rh/rh_10_30.ine
/usr/share/doc/latte-integrale/examples/rh/rh_8_20.ext
/usr/share/doc/latte-integrale/examples/rh/rh_8_20.ine
/usr/share/doc/latte-integrale/examples/rh/rh_8_25.ext
/usr/share/doc/latte-integrale/examples/rh/rh_8_25.ine
/usr/share/doc/latte-integrale/examples/rh/rh_8_30.ext
/usr/share/doc/latte-integrale/examples/rh/rh_8_30.ine
/usr/share/doc/latte-integrale/examples/rv
/usr/share/doc/latte-integrale/examples/rv/rv_10_12.ext
/usr/share/doc/latte-integrale/examples/rv/rv_10_12.ine
/usr/share/doc/latte-integrale/examples/rv/rv_10_13.ext
/usr/share/doc/latte-integrale/examples/rv/rv_10_13.ine
/usr/share/doc/latte-integrale/examples/rv/rv_10_14.ext
/usr/share/doc/latte-integrale/examples/rv/rv_10_14.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_10.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_10.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_11.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_11.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_12.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_12.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_13.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_13.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_14.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_14.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_20.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_20.ine
/usr/share/doc/latte-integrale/examples/rv/rv_8_30.ext
/usr/share/doc/latte-integrale/examples/rv/rv_8_30.ine
/usr/share/doc/latte-integrale/examples/tests
/usr/share/doc/latte-integrale/examples/tests/char-spec-4-permclass-LPred-IP-4-RRRRRRRRRRR.lat.remIQ_36.lat
/usr/share/doc/latte-integrale/examples/tests/implied-equation.latte
/usr/share/doc/latte-integrale/examples/tests/missing-newline-2.latte
/usr/share/doc/latte-integrale/examples/tests/missing-newline-3.latte
/usr/share/doc/latte-integrale/examples/tests/missing-newline.latte
/usr/share/doc/latte-integrale/examples/van-herick
/usr/share/doc/latte-integrale/examples/van-herick/k-flow-3
/usr/share/doc/latte-integrale/examples/van-herick/k-flow-4
/usr/share/doc/latte-integrale/examples/van-herick/k-flow-5
/usr/share/doc/latte-integrale/examples/van-herick/k-flow-6
/usr/share/doc/latte-integrale/examples/yoshida
/usr/share/doc/latte-integrale/examples/yoshida/24_cell_latte
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_10.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_11.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_12.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_13.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_14.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_15.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_16.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_17.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_18.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_5.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_6.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_7.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_8.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x3_semi_9.equ
/usr/share/doc/latte-integrale/examples/yoshida/3x3x4_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/4flow_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/4flow_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/4flow_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table1
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table10
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table11
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table2
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table3
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table4
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table5
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table6
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table7
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table8
/usr/share/doc/latte-integrale/examples/yoshida/4x4Table9
/usr/share/doc/latte-integrale/examples/yoshida/4x5_1
/usr/share/doc/latte-integrale/examples/yoshida/4x5_2
/usr/share/doc/latte-integrale/examples/yoshida/4x5_3
/usr/share/doc/latte-integrale/examples/yoshida/5flow_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/5flow_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/5flow_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/HD
/usr/share/doc/latte-integrale/examples/yoshida/HD1
/usr/share/doc/latte-integrale/examples/yoshida/HD10
/usr/share/doc/latte-integrale/examples/yoshida/HD11
/usr/share/doc/latte-integrale/examples/yoshida/HD12
/usr/share/doc/latte-integrale/examples/yoshida/HD13
/usr/share/doc/latte-integrale/examples/yoshida/HD14
/usr/share/doc/latte-integrale/examples/yoshida/HD15
/usr/share/doc/latte-integrale/examples/yoshida/HD16
/usr/share/doc/latte-integrale/examples/yoshida/HD17
/usr/share/doc/latte-integrale/examples/yoshida/HD18
/usr/share/doc/latte-integrale/examples/yoshida/HD2
/usr/share/doc/latte-integrale/examples/yoshida/HD3
/usr/share/doc/latte-integrale/examples/yoshida/HD4
/usr/share/doc/latte-integrale/examples/yoshida/HD5
/usr/share/doc/latte-integrale/examples/yoshida/HD6
/usr/share/doc/latte-integrale/examples/yoshida/HD7
/usr/share/doc/latte-integrale/examples/yoshida/HD8
/usr/share/doc/latte-integrale/examples/yoshida/HD9
/usr/share/doc/latte-integrale/examples/yoshida/README
/usr/share/doc/latte-integrale/examples/yoshida/aardallenstra.equ
/usr/share/doc/latte-integrale/examples/yoshida/correct
/usr/share/doc/latte-integrale/examples/yoshida/cube
/usr/share/doc/latte-integrale/examples/yoshida/cube2
/usr/share/doc/latte-integrale/examples/yoshida/cuww1_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/cuww2_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/cuww3_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/cuww4_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/cuww5_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/dean1
/usr/share/doc/latte-integrale/examples/yoshida/dean2
/usr/share/doc/latte-integrale/examples/yoshida/dean3
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_10.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_5.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_6.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_7.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_8.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph4_9.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_10.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_5.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_6.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_7.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_8.equ
/usr/share/doc/latte-integrale/examples/yoshida/digraph5_9.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_4_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_4_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_4_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_5_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_5_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_5_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_5_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_6_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_6_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_6_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_6_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_6_5.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_2.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_3.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_4.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_5.equ
/usr/share/doc/latte-integrale/examples/yoshida/hyp_simp_7_6.equ
/usr/share/doc/latte-integrale/examples/yoshida/knapsack1.equ
/usr/share/doc/latte-integrale/examples/yoshida/knapsack2.equ
/usr/share/doc/latte-integrale/examples/yoshida/knapsackbaby1.equ
/usr/share/doc/latte-integrale/examples/yoshida/knapsackbaby2.equ
/usr/share/doc/latte-integrale/examples/yoshida/mountExample1
/usr/share/doc/latte-integrale/examples/yoshida/mountExample2
/usr/share/doc/latte-integrale/examples/yoshida/mountExample3
/usr/share/doc/latte-integrale/examples/yoshida/mountExample4
/usr/share/doc/latte-integrale/examples/yoshida/mountExample5
/usr/share/doc/latte-integrale/examples/yoshida/prob10_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob1_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob2_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob3_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob4_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob5_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob6_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/prob7_1.equ
/usr/share/doc/latte-integrale/examples/yoshida/test4x4_1
/usr/share/doc/latte-integrale/examples/yoshida/test4x4_2
/usr/share/doc/latte-integrale/examples/yoshida/test4x4_3
/usr/share/doc/latte-integrale/examples/yoshida/tru_cube_latte
/usr/share/doc/latte-integrale/examples/yoshida/tru_simplex_latte
/usr/share/doc/latte-integrale/m-knapsack.mpl
/usr/share/doc/latte-integrale/simplify.add
/usr/share/doc/latte-integrale/simplify2.add
/usr/share/doc/latte-integrale/simplify3.add
/usr/share/licenses/latte-integrale
/usr/share/licenses/latte-integrale/COPYING