data/alt-ergo-2.0.0/README.md: ASCII text data/alt-ergo-2.0.0/Makefile.configurable.in: ASCII text data/alt-ergo-2.0.0/Makefile: ASCII text data/alt-ergo-2.0.0/Makefile.developers: ASCII text data/alt-ergo-2.0.0/plugins/fm-simplex/fmSimplexIneqs.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/fm-simplex/simplex.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/fm-simplex/simplex_cache.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/fm-simplex/fmSimplexIneqs.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/satML/satml_frontend.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/satML/satml.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/satML/satml_frontend.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/satML/satml.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/common/vec.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/plugins/common/vec.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/opam: ASCII text data/alt-ergo-2.0.0/examples/invalid/bitv.why: ASCII text data/alt-ergo-2.0.0/examples/invalid/arrays.why: ASCII text data/alt-ergo-2.0.0/examples/invalid/arith2.why: ASCII text data/alt-ergo-2.0.0/examples/invalid/arith1.why: ASCII text data/alt-ergo-2.0.0/examples/valid/ac_arith.why: ASCII text data/alt-ergo-2.0.0/examples/valid/bitv.why: ASCII text data/alt-ergo-2.0.0/examples/valid/congruence.why: ASCII text data/alt-ergo-2.0.0/examples/valid/arrays.why: ASCII text data/alt-ergo-2.0.0/examples/valid/arith3.why: ASCII text data/alt-ergo-2.0.0/examples/valid/arith2.why: ASCII text data/alt-ergo-2.0.0/examples/valid/arith4.why: ASCII text data/alt-ergo-2.0.0/examples/valid/quantifiers.why: ASCII text data/alt-ergo-2.0.0/examples/valid/arith1.why: ASCII text data/alt-ergo-2.0.0/examples/valid/enum_arrays.why: ASCII text data/alt-ergo-2.0.0/LICENSE.md: ASCII text data/alt-ergo-2.0.0/lib/util/numbersInterface.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/timers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myUnix.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/util.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/numbers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myZip.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/version.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/version.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/hstring.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/zarithNumbers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myDynlink.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/hconsing.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/lists.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myZip.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/options.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/hstring.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/numsNumbers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/gc_debug.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/lists.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myUnix.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/numbers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/myDynlink.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/zarithNumbers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/loc.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/timers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/emap.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/emap.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/options.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/numsNumbers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/hconsing.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/util.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/.merlin: ASCII text data/alt-ergo-2.0.0/lib/util/gc_debug.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/util/loc.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/typechecker.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/parsed_interface.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/parsers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/triggers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/frontend.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/parsed_interface.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/parsers.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/triggers.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/typechecker.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/cnf.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/frontend.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/cnf.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/frontend/.merlin: ASCII text data/alt-ergo-2.0.0/lib/parsing/.merlin: ASCII text data/alt-ergo-2.0.0/lib/structures/commands.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/fpa_rounding.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/literal.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/exception.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/typed.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/parsed.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/symbols.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/term.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/errors.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/formula.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/typed.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/term.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/formula.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/explanation.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/explanation.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/profiling.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/fpa_rounding.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/parsed.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/commands.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/errors.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/ty.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/profiling.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/symbols.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/.merlin: ASCII text data/alt-ergo-2.0.0/lib/structures/literal.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/ty.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/structures/exception.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/inequalities.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/instances.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/fun_sat.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/inequalities.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/use.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/matching.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/intervals.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/arith.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sig.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sat_solver.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/bitv.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/fun_sat.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/arrays.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/instances.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/ccx.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/matching.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/arith.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/intervalCalculus.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/bitv.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/polynome.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/ac.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/ccx.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sum.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/combine.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/theory.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sat_solver.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/uf.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/ac.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/uf.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/records.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/theory.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/intervals.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sum.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/combine.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/records.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/use.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/matching_types.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/.merlin: ASCII text data/alt-ergo-2.0.0/lib/reasoners/arrays.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/polynome.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/reasoners/sat_solver_sig.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/lib/.merlin: ASCII text data/alt-ergo-2.0.0/doc/gtk-lang/alt-ergo.lang: XML 1.0 document, ASCII text data/alt-ergo-2.0.0/doc/alt-ergo.1: troff or preprocessor input, ASCII text data/alt-ergo-2.0.0/Apache-License-2.0.txt: ASCII text data/alt-ergo-2.0.0/preludes/fpa-theory-2017-01-04-16h00.why: Mathematica 3.0 notebook data/alt-ergo-2.0.0/INSTALL.md: ASCII text data/alt-ergo-2.0.0/COPYING.md: ASCII text, with no line terminators data/alt-ergo-2.0.0/tools/text/main_text.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/text/main_text.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/text/.merlin: ASCII text data/alt-ergo-2.0.0/tools/gui/annoted_ast.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_session.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/main_gui.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_replay.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/connected_ast.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/connected_ast.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_config.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_replay.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/main_gui.mli: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_config.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/gui_session.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/gui/.merlin: ASCII text data/alt-ergo-2.0.0/tools/gui/annoted_ast.ml: Mathematica 3.0 notebook data/alt-ergo-2.0.0/tools/.merlin: ASCII text data/alt-ergo-2.0.0/License.OCamlPro: ASCII text data/alt-ergo-2.0.0/LGPL-License.txt: ASCII text data/alt-ergo-2.0.0/CHANGES: ASCII text data/alt-ergo-2.0.0/parsers/why/why_parser.mly: ASCII text data/alt-ergo-2.0.0/parsers/why/why_lexer.mll: Mathematica 3.0 notebook data/alt-ergo-2.0.0/parsers/why/.merlin: ASCII text data/alt-ergo-2.0.0/parsers/.merlin: ASCII text data/alt-ergo-2.0.0/debian/NEWS: ASCII text data/alt-ergo-2.0.0/debian/alt-ergo.examples: ASCII text data/alt-ergo-2.0.0/debian/alt-ergo.manpages: ASCII text data/alt-ergo-2.0.0/debian/changelog: UTF-8 Unicode text data/alt-ergo-2.0.0/debian/control: ASCII text data/alt-ergo-2.0.0/debian/copyright: UTF-8 Unicode text data/alt-ergo-2.0.0/debian/gbp.conf: ASCII text data/alt-ergo-2.0.0/debian/patches/0001-dont-activate-debug-flag: unified diff output, ASCII text data/alt-ergo-2.0.0/debian/patches/0002-Fix-compilation-with-camlzip-1.08.patch: unified diff output, ASCII text data/alt-ergo-2.0.0/debian/patches/series: ASCII text data/alt-ergo-2.0.0/debian/rules: a /usr/bin/make -f script, ASCII text executable data/alt-ergo-2.0.0/debian/source/format: ASCII text data/alt-ergo-2.0.0/debian/tests/control: ASCII text data/alt-ergo-2.0.0/debian/tests/invalid: POSIX shell script, ASCII text executable data/alt-ergo-2.0.0/debian/tests/valid: POSIX shell script, ASCII text executable data/alt-ergo-2.0.0/debian/todo: ASCII text data/alt-ergo-2.0.0/debian/watch: ASCII text data/alt-ergo-2.0.0/.pc/.version: ASCII text data/alt-ergo-2.0.0/.pc/.quilt_patches: ASCII text data/alt-ergo-2.0.0/.pc/.quilt_series: ASCII text data/alt-ergo-2.0.0/.pc/applied-patches: ASCII text data/alt-ergo-2.0.0/.pc/0001-dont-activate-debug-flag/Makefile.users: makefile script, ASCII text data/alt-ergo-2.0.0/.pc/0002-Fix-compilation-with-camlzip-1.08.patch/configure: POSIX shell script, ASCII text executable, with very long lines data/alt-ergo-2.0.0/.pc/0002-Fix-compilation-with-camlzip-1.08.patch/configure.in: M4 macro processor script, UTF-8 Unicode text data/alt-ergo-2.0.0/Makefile.users: makefile script, ASCII text data/alt-ergo-2.0.0/configure: POSIX shell script, ASCII text executable, with very long lines data/alt-ergo-2.0.0/configure.in: M4 macro processor script, UTF-8 Unicode text