data/ocaml-mccs-1.1+11/.gitattributes: ASCII text data/ocaml-mccs-1.1+11/.gitignore: ASCII text data/ocaml-mccs-1.1+11/.travis-ci.sh: POSIX shell script, ASCII text executable data/ocaml-mccs-1.1+11/.travis.yml: ASCII text data/ocaml-mccs-1.1+11/LICENCE: ASCII text data/ocaml-mccs-1.1+11/README.md: ASCII text data/ocaml-mccs-1.1+11/appveyor.cmd: DOS batch file, ASCII text data/ocaml-mccs-1.1+11/appveyor.sh: Bourne-Again shell script, ASCII text executable data/ocaml-mccs-1.1+11/appveyor.yml: ASCII text data/ocaml-mccs-1.1+11/appveyor/cudf-0.9.patch: unified diff output, ASCII text data/ocaml-mccs-1.1+11/dune-project: ASCII text data/ocaml-mccs-1.1+11/mccs.opam: ASCII text data/ocaml-mccs-1.1+11/src/abstract_combiner.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/abstract_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/abstract_solver.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/changed_criteria.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/changed_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/combiner.h: C source, ASCII text data/ocaml-mccs-1.1+11/src/constraint_generation.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/constraint_generation.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/context_flags.ml: ASCII text data/ocaml-mccs-1.1+11/src/count_criteria.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/count_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/criteria.h: C source, ASCII text data/ocaml-mccs-1.1+11/src/cudf.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/cudf_reductions.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/cudf_reductions.h: C source, ASCII text data/ocaml-mccs-1.1+11/src/cudf_tools.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/cudf_types.h: C source, ASCII text data/ocaml-mccs-1.1+11/src/dune: ASCII text data/ocaml-mccs-1.1+11/src/glpk/context_flags.ml: ASCII text data/ocaml-mccs-1.1+11/src/glpk/dune: ASCII text data/ocaml-mccs-1.1+11/src/glpk/dune-shared: ASCII text data/ocaml-mccs-1.1+11/src/glpk/dune-static: ASCII text data/ocaml-mccs-1.1+11/src/glpk/ocaml_mccs_glpk.ml: ASCII text data/ocaml-mccs-1.1+11/src/glpk_solver.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/glpk_solver.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/lexagregate_combiner.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/lexagregate_combiner.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/lp_solver.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/mccs.ml: Mathematica 3.0 notebook data/ocaml-mccs-1.1+11/src/mccs.mli: Mathematica 3.0 notebook data/ocaml-mccs-1.1+11/src/mccs_stubs.cpp: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/mccscudf.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/mccscudf.h: C source, ASCII text data/ocaml-mccs-1.1+11/src/new_criteria.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/new_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/notuptodate_criteria.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/notuptodate_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/osi_solver.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/removed_criteria.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/src/removed_criteria.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/scoeff_solver.h: C++ source, ASCII text data/ocaml-mccs-1.1+11/src/lp_solver.cpp: C source, ASCII text data/ocaml-mccs-1.1+11/test/cbclp.ml: ASCII text data/ocaml-mccs-1.1+11/test/dune: ASCII text data/ocaml-mccs-1.1+11/test/dune.inc: ASCII text data/ocaml-mccs-1.1+11/test/gen_tests.ml: ASCII text data/ocaml-mccs-1.1+11/test/mccs_test.ml: ASCII text data/ocaml-mccs-1.1+11/test/test.cbc: ASCII text data/ocaml-mccs-1.1+11/test/test.cl.output: ASCII text data/ocaml-mccs-1.1+11/test/test.clp: ASCII text data/ocaml-mccs-1.1+11/test/test.cudf: ASCII text, with very long lines data/ocaml-mccs-1.1+11/test/test.output: ASCII text data/ocaml-mccs-1.1+11/test/very-slow.cudf: ASCII text, with very long lines data/ocaml-mccs-1.1+11/debian/changelog: ASCII text data/ocaml-mccs-1.1+11/debian/control: ASCII text data/ocaml-mccs-1.1+11/debian/copyright: UTF-8 Unicode text data/ocaml-mccs-1.1+11/debian/gbp.conf: ASCII text data/ocaml-mccs-1.1+11/debian/libmccs-ocaml-dev.install.in: ASCII text data/ocaml-mccs-1.1+11/debian/libmccs-ocaml.install.in: ASCII text data/ocaml-mccs-1.1+11/debian/not-installed: ASCII text data/ocaml-mccs-1.1+11/debian/patches/0001-lp_solver.cpp-Fix-typos.patch: unified diff output, ASCII text data/ocaml-mccs-1.1+11/debian/patches/series: ASCII text data/ocaml-mccs-1.1+11/debian/rules: a /usr/bin/make -f script, ASCII text executable data/ocaml-mccs-1.1+11/debian/source/format: ASCII text data/ocaml-mccs-1.1+11/debian/watch: ASCII text data/ocaml-mccs-1.1+11/.pc/.version: ASCII text data/ocaml-mccs-1.1+11/.pc/.quilt_patches: ASCII text data/ocaml-mccs-1.1+11/.pc/.quilt_series: ASCII text data/ocaml-mccs-1.1+11/.pc/applied-patches: ASCII text data/ocaml-mccs-1.1+11/.pc/0001-lp_solver.cpp-Fix-typos.patch/src/lp_solver.cpp: C source, ASCII text