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