data/facile-1.1.3/README: ASCII text data/facile-1.1.3/configure: POSIX shell script, ASCII text executable data/facile-1.1.3/src/fcl_opti.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_misc.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_var.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_debug.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_gcc.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/facile.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_goals.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_invariant.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_linear.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_setDomain.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_opti.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_expr.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_stak.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_genesis.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_genesis.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_conjunto.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_boolean.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_fdArray.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_reify.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_interval.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_stak.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/facile.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_reify.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_alldiff.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_domain.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_sorting.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_nonlinear.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_sorting.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_float.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_expr.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_nonlinear.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_var.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_float.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_gcc.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_cstr.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_fdArray.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_cstr.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_boolean.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_alldiff.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_interval.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_domain.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_arith.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_debug.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_goals.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_data.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_misc.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_setDomain.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_invariant.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_data.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_arith.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_conjunto.mli: Mathematica 3.0 notebook data/facile-1.1.3/src/fcl_linear.ml: Mathematica 3.0 notebook data/facile-1.1.3/src/Makefile: ASCII text, with very long lines data/facile-1.1.3/LICENSE: ASCII text data/facile-1.1.3/examples/tiles.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/scheduling.mli: Mathematica 3.0 notebook data/facile-1.1.3/examples/golomb.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/seven_eleven.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/marriage.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/coins.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/prolog.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/golf.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/magic.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/queens.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/mt10.dat: ASCII text data/facile-1.1.3/examples/jobshop.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/scheduling.ml: Mathematica 3.0 notebook data/facile-1.1.3/examples/Makefile: ASCII text data/facile-1.1.3/debian/META.in: ASCII text data/facile-1.1.3/debian/changelog: UTF-8 Unicode text data/facile-1.1.3/debian/control: ASCII text data/facile-1.1.3/debian/copyright: UTF-8 Unicode text data/facile-1.1.3/debian/gbp.conf: ASCII text data/facile-1.1.3/debian/libfacile-ocaml-dev.examples: ASCII text data/facile-1.1.3/debian/libfacile-ocaml-dev.install.in: ASCII text data/facile-1.1.3/debian/patches/0001-Make-facile-available-for-more-architectures.patch: unified diff output, ASCII text data/facile-1.1.3/debian/patches/0002-Make-facile-available-for-more-architectures.patch: unified diff output, ASCII text data/facile-1.1.3/debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch: unified diff output, ASCII text data/facile-1.1.3/debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch: unified diff output, ASCII text data/facile-1.1.3/debian/patches/series: ASCII text data/facile-1.1.3/debian/rules: a /usr/bin/make -f script, ASCII text executable data/facile-1.1.3/debian/source/format: ASCII text data/facile-1.1.3/debian/watch: ASCII text data/facile-1.1.3/.pc/.version: ASCII text data/facile-1.1.3/.pc/.quilt_patches: ASCII text data/facile-1.1.3/.pc/.quilt_series: ASCII text data/facile-1.1.3/.pc/applied-patches: ASCII text data/facile-1.1.3/.pc/0001-Make-facile-available-for-more-architectures.patch/src/Makefile: ASCII text, with very long lines data/facile-1.1.3/.pc/0002-Make-facile-available-for-more-architectures.patch/Makefile: ASCII text data/facile-1.1.3/.pc/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch/Makefile: ASCII text data/facile-1.1.3/.pc/0004-Allow-overriding-OCAMLC-in-examples.patch/examples/Makefile: ASCII text data/facile-1.1.3/Makefile: ASCII text