Content of RPM latte-integrale-1.7.3b-13.fc29.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/00
/usr/lib/.build-id/00/b1c1e8d1b02892c532f60c558163268309379a
/usr/lib/.build-id/03
/usr/lib/.build-id/03/4d84a14d4496582b234b54dad900548c277e9b
/usr/lib/.build-id/12
/usr/lib/.build-id/12/907a5ce92630cd9419e972b092e4eb3ce1fc4c
/usr/lib/.build-id/16
/usr/lib/.build-id/16/991a2b77eaa58ffb366359a38499dbab02baf0
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/7d7969342af6f5d52176022176528be9264ffe
/usr/lib/.build-id/48
/usr/lib/.build-id/48/0bffbf9295df4b0c9dc6a2e501a4d1445187eb
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/e76a85dcbbc26cb0af8ab10d106c2030f73c41
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/b233e6360180dbc5ba21c34e38719b7acd5d2a
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/08cde365473302cef80dcf4c71090e5c1eb626
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/ddb738a0a623fe8afa307ccdd4f8994944660f
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/063cfdfaf1c55bea7ea8221d2dbeca9576f71e
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/244a725973d6f5b4110255f0d06a900c263934
/usr/lib/.build-id/d6/9cee0e4dff3e1dbf33966173b831f691ad9b7a
/usr/lib/.build-id/df
/usr/lib/.build-id/df/c6712b3fdfd0c8afd2a6ce95c681ec78b254d3
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/54200baab9af0432ead48f2451955331f56dd0
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/8a282619ce1ad91d7172b086d8ee0fb2c8c944
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/daa7e15f98af1b789ff2f171df43e381c1aa1a
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/45bbc9acc7f0628b39ec81eb5e41033aacb089
/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