data/ocplib-simplex-0.4/.gitignore: ASCII text data/ocplib-simplex-0.4/.ocplint: ASCII text data/ocplib-simplex-0.4/CHANGES.md: ASCII text data/ocplib-simplex-0.4/LICENSE: ASCII text, with very long lines data/ocplib-simplex-0.4/README.md: ASCII text data/ocplib-simplex-0.4/configure.in: ISO-8859 text data/ocplib-simplex-0.4/extra/TODO.txt: ASCII text data/ocplib-simplex-0.4/extra/simplex_invariants.txt: ASCII text data/ocplib-simplex-0.4/opam: ASCII text data/ocplib-simplex-0.4/src/assertBounds.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/assertBounds.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/basic.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/basic.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/build.ocp: ASCII text data/ocplib-simplex-0.4/src/core.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/core.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/coreSig.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/extSigs.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/polys.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/polys.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/rat2.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/rat2.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/result.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/result.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/solveBounds.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/solveBounds.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/version.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/src/version.mli: Mathematica 3.0 notebook data/ocplib-simplex-0.4/tests/ex.ml: ASCII text data/ocplib-simplex-0.4/tests/instantiateBasicFunctor.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/tests/rat.ml: ASCII text data/ocplib-simplex-0.4/tests/solveEmpty.ml: ASCII text data/ocplib-simplex-0.4/tests/standalone_minimal_maximization.ml: Ruby script, ASCII text data/ocplib-simplex-0.4/tests/var.ml: Mathematica 3.0 notebook data/ocplib-simplex-0.4/tests/standalone_minimal.ml: Ruby script, ASCII text data/ocplib-simplex-0.4/debian/changelog: UTF-8 Unicode text data/ocplib-simplex-0.4/debian/compat: ASCII text data/ocplib-simplex-0.4/debian/control: ASCII text data/ocplib-simplex-0.4/debian/copyright: UTF-8 Unicode text data/ocplib-simplex-0.4/debian/gbp.conf: ASCII text data/ocplib-simplex-0.4/debian/ocplib-simplex-ocaml-dev.dirs: ASCII text data/ocplib-simplex-0.4/debian/patches/destdir: unified diff output, ASCII text data/ocplib-simplex-0.4/debian/patches/series: ASCII text data/ocplib-simplex-0.4/debian/patches/testcase: unified diff output, ASCII text data/ocplib-simplex-0.4/debian/rules: a /usr/bin/make -f script, ASCII text executable data/ocplib-simplex-0.4/debian/source/format: ASCII text data/ocplib-simplex-0.4/debian/tests/byte-code: POSIX shell script, ASCII text executable data/ocplib-simplex-0.4/debian/tests/control: ASCII text data/ocplib-simplex-0.4/debian/tests/native-code: POSIX shell script, ASCII text executable data/ocplib-simplex-0.4/debian/watch: ASCII text data/ocplib-simplex-0.4/.pc/.version: ASCII text data/ocplib-simplex-0.4/.pc/.quilt_patches: ASCII text data/ocplib-simplex-0.4/.pc/.quilt_series: ASCII text data/ocplib-simplex-0.4/.pc/applied-patches: ASCII text data/ocplib-simplex-0.4/.pc/destdir/Makefile.in: makefile script, ASCII text data/ocplib-simplex-0.4/.pc/testcase/tests/standalone_minimal.ml: Ruby script, ASCII text data/ocplib-simplex-0.4/Makefile.in: makefile script, ASCII text