data/gecode-6.2.0/.github/ISSUE_TEMPLATE/report-a-bug-in-gecode.md: ASCII text data/gecode-6.2.0/.github/ISSUE_TEMPLATE/request-a-feature-in-gecode.md: ASCII text data/gecode-6.2.0/.gitignore: ASCII text data/gecode-6.2.0/.travis.yml: ASCII text data/gecode-6.2.0/CMakeLists.txt: ASCII text data/gecode-6.2.0/LICENSE: ASCII text data/gecode-6.2.0/Makefile.contribs: ISO-8859 text data/gecode-6.2.0/Makefile.dep: ASCII text data/gecode-6.2.0/README.md: ASCII text data/gecode-6.2.0/changelog.in: ISO-8859 text data/gecode-6.2.0/configure: POSIX shell script, ASCII text executable data/gecode-6.2.0/configure.ac: M4 macro processor script, ASCII text data/gecode-6.2.0/configure.ac.in: M4 macro processor script, ASCII text data/gecode-6.2.0/contribs/README: ASCII text data/gecode-6.2.0/contribs/qecode/AbstractWorker.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/Doxyfile: ASCII text data/gecode-6.2.0/contribs/qecode/Makefile.in.in: ASCII text data/gecode-6.2.0/contribs/qecode/OptVar.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/OptVar.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/QCOPPlus.cc: C source, Non-ISO extended-ASCII text data/gecode-6.2.0/contribs/qecode/QCOPPlus.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/QCSPPlusUnblockable.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/QCSPPlusUnblockable.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/README: ASCII text data/gecode-6.2.0/contribs/qecode/Strategy.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/Strategy.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/StrategyNode.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/StrategyNode.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/UnblockableBranching.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/UnblockableViewValBranching.cc: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/UnblockableViewValBranching.hh: C source, ASCII text data/gecode-6.2.0/contribs/qecode/Work.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/Work.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/WorkComparators.hh: C source, UTF-8 Unicode text data/gecode-6.2.0/contribs/qecode/WorkManager.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/WorkManager.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/Worker.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/Worker.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/clean: ASCII text data/gecode-6.2.0/contribs/qecode/configure: POSIX shell script, ASCII text executable data/gecode-6.2.0/contribs/qecode/configure.ac: M4 macro processor script, UTF-8 Unicode text data/gecode-6.2.0/contribs/qecode/examples/COMPILING: ASCII text, with very long lines data/gecode-6.2.0/contribs/qecode/examples/MatrixGame.cpp: C source, ASCII text data/gecode-6.2.0/contribs/qecode/examples/NimFibo.cpp: C source, ASCII text data/gecode-6.2.0/contribs/qecode/examples/network-pricing1.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/contribs/qecode/examples/network-pricing2.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/examples/optim2.cc: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/examples/stress_test.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/myDom.cc: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/myspace.cc: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/myspace.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/qecode.hh: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_parallel.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_parallel.hh: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_qcop.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_qcop.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_qcsp.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_qcsp.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_unblockable.cc: C source, ASCII text data/gecode-6.2.0/contribs/qecode/qsolver_unblockable.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/qecode/shortdesc.ac: ASCII text, with no line terminators data/gecode-6.2.0/contribs/qecode/vartype.hh: C source, ASCII text data/gecode-6.2.0/contribs/quacode/CMakeLists.txt: ASCII text data/gecode-6.2.0/contribs/quacode/FindGecode.cmake: ASCII text data/gecode-6.2.0/contribs/quacode/LICENSE: ASCII text data/gecode-6.2.0/contribs/quacode/README: ASCII text data/gecode-6.2.0/contribs/quacode/doxygen/Doxyfile.conf: ASCII text data/gecode-6.2.0/contribs/quacode/doxygen/getrevision.sh: Bourne-Again shell script, ASCII text executable data/gecode-6.2.0/contribs/quacode/doxygen/mainpage.md: ASCII text data/gecode-6.2.0/contribs/quacode/examples/baker.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/connect-four.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/matrix-game.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/nim-fibo.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/qbf.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/qdimacs.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/examples/rndQCSP.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qcsp.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/clause.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/eq.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/eqv.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/or.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/qbool.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/xor.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/qbool/xorv.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qint/watch.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qspaceinfo.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qspaceinfo.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/qspaceinfo.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/search/qdfs.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/search/qdfs.hpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/search/sequential/qdfs.hh: C++ source, UTF-8 Unicode text data/gecode-6.2.0/contribs/quacode/quacode/search/sequential/qpath.cpp: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/search/sequential/qpath.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/support/dynamic-list.hh: C++ source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/support/log.cpp: C source, ASCII text data/gecode-6.2.0/contribs/quacode/quacode/support/log.hh: C++ source, ASCII text data/gecode-6.2.0/doxygen/doxygen.conf.in: ASCII text data/gecode-6.2.0/doxygen/doxygen.hh.in: ASCII text data/gecode-6.2.0/examples/CMakeLists.txt: ASCII text data/gecode-6.2.0/examples/all-interval.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/alpha.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/archimedean-spiral.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/bacp.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/bibd.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/bin-packing.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/examples/black-hole.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/examples/car-sequencing.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/cartesian-heart.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/colored-matrix.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/crew.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/crossword.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/examples/crowded-chess.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/descartes-folium.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/dominating-queens.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/examples/domino.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/donald.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/efpa.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/eq20.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/golden-spiral.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/golf.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/golomb-ruler.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/graph-color.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/grocery.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/hamming.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/ind-set.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/job-shop.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/kakuro.cpp: C source, ASCII text data/gecode-6.2.0/examples/knights.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/langford-number.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/magic-sequence.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/magic-square-partial.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/magic-square.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/minesweeper.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/money.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/multi-bin-packing.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/nonogram.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/open-shop.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/ortho-latin.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/partition.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/pentominoes.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/perfect-square.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/photo.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/qcp.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/queen-armies.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/queens.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/radiotherapy.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/sat.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/schurs-lemma.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/scowl.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/examples/sports-league.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/steel-mill.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/steiner.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/sudoku-instances.hh: C source, ASCII text data/gecode-6.2.0/examples/tsp.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/warehouses.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/word-square.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/examples/sudoku-advanced.cpp: C++ source, ASCII text data/gecode-6.2.0/examples/sudoku.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/driver.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/driver/options.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/driver/options.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/driver/script.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/driver/script.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/CHANGES: ASCII text data/gecode-6.2.0/gecode/flatzinc/ast.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/branch.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/branch.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/branch.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/conexpr.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/exampleplugin/myplugin.cpp: C source, ASCII text data/gecode-6.2.0/gecode/flatzinc/exampleplugin/myplugin.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/exampleplugin/myplugin.pro: ASCII text data/gecode-6.2.0/gecode/flatzinc/exampleplugin/test_myplugin.fzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/flatzinc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/lexer.lxx: C source, ASCII text data/gecode-6.2.0/gecode/flatzinc/lexer.yy.cpp: C source, ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/all_different_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/all_equal_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/alldifferent_except_0.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/among.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/arg_max_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/arg_max_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/arg_min_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/arg_min_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/at_least_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/at_least_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/at_most_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/at_most_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/bin_packing.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/bin_packing_capa.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/bin_packing_load.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/circuit.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/count.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/cumulative.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/decreasing_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/decreasing_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/diffn.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/disjoint.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/disjunctive_strict.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/distribute.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/exactly_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/exactly_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/gecode.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/global_cardinality.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/global_cardinality_closed.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/increasing_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/increasing_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/int_set_channel.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/inverse.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/inverse_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/lex_less_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/lex_less_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/link_set_to_booleans.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/maximum_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/member_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/member_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/minimum_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/nvalue.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/partition_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/range.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/redefinitions-2.0.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/redefinitions.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/regular.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/roots.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/sort.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/sum_pred.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/table_bool.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/table_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/value_precede_int.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/mznlib/value_precede_set.mzn: ASCII text data/gecode-6.2.0/gecode/flatzinc/option.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/parser.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/parser.tab.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/parser.tab.hh: C source, ASCII text data/gecode-6.2.0/gecode/flatzinc/parser.yxx: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/plugin.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/registry.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/registry.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/symboltable.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/flatzinc/varspec.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/abs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/div.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/min-max.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/mult.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/pow-nroot.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/arithmetic/sqr-sqrt.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/array-traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/array.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/bool.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/bool/ite.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/action.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/action.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/afc.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/assign.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/chb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/chb.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/merit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/val-commit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/val-sel-commit.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/val-sel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/var.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/branch/view-sel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/channel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/channel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/channel/channel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/exec.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/linear.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/linear.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/linear/nary.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/linear/post.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/nextafter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rel/eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rel/lq-le.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rel/nq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/relax.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rounding.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/rounding.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace/delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace/trace-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trace/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/transcendental.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/transcendental.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/transcendental/exp-log.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trigonometric.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trigonometric.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trigonometric/asinacos.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trigonometric/sincos.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/trigonometric/tanatan.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var-imp.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var-imp/delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var-imp/float.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var-imp/float.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var-imp/float.vis: ASCII text data/gecode-6.2.0/gecode/float/var/float.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var/float.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/var/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/float.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/minus.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/offset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/rel-test.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/view/scale.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/num.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/drawingcursor.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/drawingcursor.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/drawingcursor.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/gecodelogo.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/gecodelogo.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/gist.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/gist.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/layoutcursor.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/layoutcursor.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/mainwindow.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/mainwindow.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/node.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/node.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/node.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodecursor.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodecursor.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodestats.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodestats.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodevisitor.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodevisitor.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodewidget.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/nodewidget.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/preferences.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/preferences.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/qtgist.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/qtgist.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/spacenode.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/spacenode.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/spacenode.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/standalone-example/mygist.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/standalone-example/standalone_example.pro: ASCII text data/gecode-6.2.0/gecode/gist/stopbrancher.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/stopbrancher.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/textoutput.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/textoutput.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/treecanvas.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/treecanvas.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/visualnode.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/visualnode.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/visualnode.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/gist/zoomToFitIcon.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/arithmetic.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/abs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/argmax.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/divmod.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/max.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/mult.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/mult.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/nroot.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/pow-ops.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/arithmetic/pow.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/array-traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/array.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing/conflict-graph.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing/conflict-graph.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing/propagate.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bin-packing/propagate.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/clause.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/eqv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/eqv.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/ite.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/bool/or.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/action.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/action.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/afc.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/assign.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/cbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/chb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/chb.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/merit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/ngl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/val-commit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/val-sel-commit.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/val-sel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/var.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/view-sel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/view-values.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/branch/view-values.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/link-multi.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/link-multi.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/link-single.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/link-single.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/channel/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/circuit.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/circuit.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/circuit/base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/circuit/dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/circuit/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/int-base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/int-eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/int-gq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/int-lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/rel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/view-base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/view-eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/view-gq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/count/view-lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/cumulative/edge-finding.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/man-prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/opt-prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/overload.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/post.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/subsumption.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/task-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/task.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/time-tabling.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulative/tree.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulatives.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulatives.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/cumulatives/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct.cpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/distinct.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/distinct/bnd.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/cbs.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/gecode/int/distinct/cbs.hpp: C++ source, UTF-8 Unicode text data/gecode-6.2.0/gecode/int/distinct/dom-ctrl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/eqite.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/eqite.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/graph.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/ter-dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/distinct/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/div.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/div.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/dom.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/dom/range.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/dom/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element/pair.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element/pair.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/element/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exec.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exec.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exec/when.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/exec/when.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional-regular.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional-tuple-set.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/bit-set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/compact.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/dfa.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/dfa.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/layered-graph.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/tiny-bit-set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/tuple-set.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/extensional/tuple-set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/gcc/bnd-sup.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/bnd.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/dom-sup.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/post.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/gcc/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/idx-view.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/idx-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/int-set-1.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/int-set-2.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/int-set.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ipl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/irt.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb/brancher.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb/sym-imp.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb/sym-imp.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/ldsb/sym-obj.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear-bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear-int.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/bool-int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/bool-post.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/bool-scale.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/bool-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-bin.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-dom.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-nary.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-noview.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-post.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/int-ter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/linear/post.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/member.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/member.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/member/prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/member/re-prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap/base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap/box.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap/dim.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap/man.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/no-overlap/opt.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/bool-base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/bool-eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/bool-gq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/bool-lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/graph.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/int-base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/int-eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/int-gq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/int-lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/range-event.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/nvalues/sym-bit-matrix.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/order.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/order.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/order/propagate.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/order/propagate.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/precede.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/precede.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/precede/single.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/propagator.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/reify.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel/eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel/lex.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel/lq-le.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/rel/nq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/relax.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence/set-op.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sequence/violations.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/sorted/matching.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted/narrowing.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted/order.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted/propagate.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/sorted/sortsup.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/support-values.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/support-values.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/event.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/fwd-to-bwd.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/iter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/man-to-opt.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/purge.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/sort.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/task/tree.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/bool-delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/bool-trace-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/int-delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/int-trace-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/trace/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary.hh: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/int/unary/detectable.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/edge-finding.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/man-prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/not-first-not-last.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/opt-prop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/overload.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/post.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/subsumption.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/task-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/task.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/time-tabling.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unary/tree.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/unshare.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/val-set.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/val-set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/bool.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/bool.vis: ASCII text data/gecode-6.2.0/gecode/int/var-imp/delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/int.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var-imp/int.vis: ASCII text data/gecode-6.2.0/gecode/int/var/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var/bool.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var/int.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/var/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/bi-link.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/comb-ptr-flag.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/edge.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/graph.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/iter-prune-val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view-val-graph/node.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/bool-test.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/bool.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/cached.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/constint.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/iter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/minus.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/neg-bool.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/offset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/rel-test.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/scale.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/int/view/zero.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-add.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-append.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-cache.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-compl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-diff.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-empty.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-inter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-list.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-map.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-minmax.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-minus.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-negative.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-offset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-operations.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-positive.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-rangelist.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-scale.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-singleton-append.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-singleton.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-size.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-union.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/ranges-values.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-bitset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-bitsetoffset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-inter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-list.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-map.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-minus.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-negative.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-offset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-positive.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-ranges.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-singleton.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-union.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/iter/values-unique.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/archive.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/archive.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/action.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/action.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/kernel/branch/afc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/afc.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/chb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/chb.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/filter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/function.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/merit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/tiebreak.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/val-commit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/val-sel-commit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/val-sel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/var.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/view-sel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/view-val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/branch/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/core.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/core.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/array.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/rnd.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/rnd.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/shared-array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/data/shared-data.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/gpi.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/gpi.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/macros.hpp: ASCII text data/gecode-6.2.0/gecode/kernel/memory/allocators.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/memory/config.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/memory/manager.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/memory/manager.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/memory/region.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/memory/region.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/modevent.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/propagator/advisor.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/propagator/pattern.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/propagator/subscribed.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/propagator/wait.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/range-list.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/shared-object.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/shared-space-data.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/filter.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/filter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/general.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/general.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/recorder.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/recorder.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/tracer.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/trace/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/var-imp.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/var-type.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/var.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/kernel/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/aliases.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/bool-expr.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/bool-expr.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/channel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/dom.cpp: C++ source, ASCII text, with CRLF line terminators data/gecode-6.2.0/gecode/minimodel/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/float-arith.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/float-expr.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/float-expr.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/float-rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/float-rel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/int-arith.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/int-expr.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/int-expr.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/int-rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/int-rel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/ipl.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/ipl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/ldsb.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/matrix.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/optimize.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/optimize.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/reg.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/reg.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/set-expr.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/set-expr.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/set-rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/minimodel/set-rel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/bab.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/bab.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/build.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/cpprofiler/connector.hpp: C++ source, ISO-8859 text, with very long lines data/gecode-6.2.0/gecode/search/cpprofiler/message.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/cpprofiler/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/cutoff.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/cutoff.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/dfs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/dfs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/engine.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/engine.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/lds.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/lds.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/nogoods.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/nogoods.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/nogoods.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/options.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/options.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/bab.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/bab.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/dfs.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/dfs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/engine.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/engine.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/path.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/path.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/pbs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/pbs.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/par/pbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/pbs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/pbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/rbs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/rbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/relax.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/sebs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/bab.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/bab.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/dead.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/dead.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/dfs.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/dfs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/lds.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/lds.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/path.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/path.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/pbs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/pbs.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/pbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/rbs.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/rbs.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/seq/rbs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/statistics.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/stop.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/stop.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/support.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/search/trace-recorder.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/tracer.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/search/worker.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/array-traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/array.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/action.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/action.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/afc.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/assign.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/chb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/chb.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/merit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/ngl.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/ngl.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/val-commit.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/val-sel-commit.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/val-sel.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/val.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/var.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/branch/view-sel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/cardinality.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel/bool.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/channel/sorted.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex/conv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex/conv.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex/hull.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/convex/hull.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/distinct.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/distinct.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/distinct/atmostOne.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/distinct/atmostOne.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element/disjoint.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element/inter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element/union.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/element/unionConst.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/exec.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int/card.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int/minmax.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/int/weights.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/ldsb.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/ldsb.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/ldsb/brancher.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/ldsb/sym-imp.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/precede.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/precede.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/precede/single.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-const-cvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-const-cvv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-const-vcc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-const-vcv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-const-vvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-singleton.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op-ternary.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/common.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/inter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/partition.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-compl-cvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-compl-cvv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-compl-vvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-compl.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-nocompl-cvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-nocompl-cvv.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-nocompl-vvc.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post-nocompl.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/post.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/subofunion.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/superofinter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel-op/union.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/common.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/eq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/nosubset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/nq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/re-eq.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/set/rel/re-lq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/re-subset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/rel/subset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/relax.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence.hh: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence/common.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence/seq-u.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence/seq-u.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence/seq.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/sequence/seq.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace/delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace/trace-view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace/tracer.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/trace/traits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/delta.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/integerset.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/integerset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/iter.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/set.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var-imp/set.vis: ASCII text data/gecode-6.2.0/gecode/set/var/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var/set.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/var/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/cached.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/complement.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/const.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/print.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/set/view/singleton.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support.hh: C source, ASCII text data/gecode-6.2.0/gecode/support/allocator.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/allocator.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/auto-link.hpp: C source, ASCII text data/gecode-6.2.0/gecode/support/bitset-base.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/bitset-offset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/bitset.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/block-allocator.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/cast.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/config.hpp.in: ASCII text data/gecode-6.2.0/gecode/support/dynamic-array.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/dynamic-queue.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/dynamic-stack.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/exception.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/exception.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/hash.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/heap.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/heap.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/hw-rnd.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/hw-rnd.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/int-type.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/macros.hpp: ASCII text data/gecode-6.2.0/gecode/support/marked-pointer.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/random.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/ref-count.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/run-jobs.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/sort.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/static-stack.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/none.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/pthreads.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/pthreads.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/thread.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/thread.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/windows.cpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/thread/windows.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/support/timer.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/LICENSE_1_0.txt: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi/borland_prefix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi/borland_suffix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi/msvc_prefix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi/msvc_suffix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi_prefix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/abi_suffix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/borland.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/clang.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/codegear.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/comeau.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/common_edg.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/compaq_cxx.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/digitalmars.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/gcc.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/gcc_xml.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/greenhills.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/hp_acc.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/intel.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/kai.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/metrowerks.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/mpw.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/nvcc.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/pathscale.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/pgi.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/sunpro_cc.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/vacpp.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/compiler/visualc.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/no_tr1/cmath.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/no_tr1/utility.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/aix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/amigaos.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/beos.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/bsd.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/cygwin.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/hpux.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/irix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/linux.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/macos.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/qnxnto.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/solaris.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/symbian.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/vms.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/vxworks.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/platform/win32.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/posix_features.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/select_compiler_config.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/select_platform_config.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/select_stdlib_config.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/dinkumware.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/libcomo.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/libcpp.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/modena.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/msl.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/roguewave.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/sgi.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/stlport.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/stdlib/vacpp.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/suffix.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/config/user.hpp: ASCII text data/gecode-6.2.0/gecode/third-party/boost/detail/endian.hpp: C source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/detail/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/extract.perl: Perl script text executable data/gecode-6.2.0/gecode/third-party/boost/limits.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/non_type.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval.hpp: C source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/arith.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/arith2.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/arith3.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/checking.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare.hpp: C source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare/certain.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare/explicit.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare/possible.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/compare/set.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/constants.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/bugs.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/division.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp.orig: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/test_input.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/hw_rounding.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/interval.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/policies.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/rounded_arith.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/rounded_transc.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/rounding.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/transc.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/numeric/interval/utility.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/gecode/third-party/boost/patch.txt: unified diff output, ASCII text data/gecode-6.2.0/gecode/third-party/boost/type.hpp: C++ source, ASCII text data/gecode-6.2.0/gecode/float.hh: C++ source, ASCII text data/gecode-6.2.0/images/gecode-logo-100.png: PNG image data, 155 x 100, 8-bit/color RGB, interlaced data/gecode-6.2.0/images/gecode-logo-120.png: PNG image data, 196 x 126, 8-bit/color RGB, interlaced data/gecode-6.2.0/images/gecode-logo-40.png: PNG image data, 62 x 40, 8-bit/color RGB, non-interlaced data/gecode-6.2.0/images/gecode-logo-60.png: PNG image data, 93 x 60, 8-bit/color RGB, non-interlaced data/gecode-6.2.0/images/gecode-logo.eps: PostScript document text conforming DSC level 3.0, type EPS, Level 1 data/gecode-6.2.0/images/gecode-logo.ico: MS Windows icon resource - 1 icon, 16x16, 8 bits/pixel data/gecode-6.2.0/images/gecode-logo.pdf: PDF document, version 1.2 data/gecode-6.2.0/install-sh: POSIX shell script, ASCII text executable data/gecode-6.2.0/misc/allexamples.perl: Perl script text executable data/gecode-6.2.0/misc/doxygen/back.png: PNG image data, 19 x 20, 8-bit/color RGBA, non-interlaced data/gecode-6.2.0/misc/doxygen/footer.html: ASCII text data/gecode-6.2.0/misc/doxygen/gecode-logo-100.png: PNG image data, 155 x 100, 8-bit/color RGB, interlaced data/gecode-6.2.0/misc/doxygen/header.html: HTML document, ASCII text data/gecode-6.2.0/misc/doxygen/stylesheet.css: ASCII text data/gecode-6.2.0/misc/fixautoheader.perl: Perl script text executable data/gecode-6.2.0/misc/fixmanifest.perl: Perl script text executable data/gecode-6.2.0/misc/gecode-logo.ico: MS Windows icon resource - 9 icons, 32x32, 16 colors, 4 bits/pixel, 16x16, 16 colors, 4 bits/pixel data/gecode-6.2.0/misc/genchangelog.perl: Perl script text executable data/gecode-6.2.0/misc/gencurrentchangelog.perl: Perl script text executable data/gecode-6.2.0/misc/genlcovmakefile.perl: Perl script text executable data/gecode-6.2.0/misc/genlicense.perl: Perl script text executable data/gecode-6.2.0/misc/genrc.perl: Perl script text executable data/gecode-6.2.0/misc/genstatistics.perl: Perl script text executable data/gecode-6.2.0/misc/gentxtchangelog.perl: Perl script text executable data/gecode-6.2.0/misc/genvarimp.perl: Perl script text executable data/gecode-6.2.0/misc/genxcodeproj.perl: Perl script text executable data/gecode-6.2.0/misc/makedepend.perl: ASCII text data/gecode-6.2.0/misc/remmodified.perl: empty data/gecode-6.2.0/test/afc.cpp: C++ source, ASCII text data/gecode-6.2.0/test/array.cpp: C++ source, ASCII text data/gecode-6.2.0/test/assign.cpp: C++ source, ASCII text data/gecode-6.2.0/test/assign.hh: C++ source, ASCII text data/gecode-6.2.0/test/assign/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/test/assign/float.cpp: C++ source, ASCII text data/gecode-6.2.0/test/assign/int.cpp: C++ source, ASCII text data/gecode-6.2.0/test/assign/set.cpp: C++ source, ASCII text data/gecode-6.2.0/test/branch.cpp: C++ source, ASCII text data/gecode-6.2.0/test/branch.hh: C++ source, ASCII text data/gecode-6.2.0/test/branch/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/test/branch/float.cpp: C++ source, ASCII text data/gecode-6.2.0/test/branch/int.cpp: C++ source, ASCII text data/gecode-6.2.0/test/branch/set.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc.hh: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/2dpacking.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/alpha.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/battleships1.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships10.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships2.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships3.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships4.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships5.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships7.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/battleships9.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/blocksworld_instance_1.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/blocksworld_instance_2.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/bool_clause.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/bug232.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/bug319.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/bugfix_r6746.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/bugfix_r7854.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/cumulatives.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/cutstock.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/empty_domain_1.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/empty_domain_2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/eq20.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/factory_planning_instance.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/golomb.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/int_set_as_type1.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/int_set_as_type2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/jobshop.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/jobshop2x2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/knights.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/langford2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/latin_squares_fd.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/magicsq_3.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/magicsq_4.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/magicsq_5.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/multidim_knapsack_simple.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/no_warn_empty_domain.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/oss.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/output_test.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/packing.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/perfsq.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/perfsq2.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/photo.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/product_fd.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/product_lp.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/quasigroup_qg5.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/queen_cp2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/queen_ip.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/queens4.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/radiation.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/sat_arith1.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/sat_array_bool_and.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/sat_array_bool_or.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/sat_cmp_reif.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/sat_eq_reif.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/shared_array_element.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/simple_sat.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/singHoist2.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/steiner_triples.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/sudoku.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/template_design.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/tenpenki_1.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/tenpenki_2.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/tenpenki_3.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/tenpenki_4.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/tenpenki_5.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/tenpenki_6.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/test_approx_bnb.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_array_just_right.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_assigned_var_bounds_bad.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_flatzinc_output_anns.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_arith.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_arrays.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_coercions.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_comparison.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_logic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_fzn_sets.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_int_div.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_int_mod.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_int_ranges_as_values.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/test_seq_search.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/timetabling.cpp: C++ source, ASCII text data/gecode-6.2.0/test/flatzinc/trucking.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/warehouses.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/warehouses_small.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/wolf_goat_cabbage.cpp: C++ source, ASCII text, with very long lines data/gecode-6.2.0/test/flatzinc/zebra.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float.hh: C++ source, ASCII text data/gecode-6.2.0/test/float.hpp: C++ source, ASCII text data/gecode-6.2.0/test/float/arithmetic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/basic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/linear.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/mm-lin.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/transcendental.cpp: C++ source, ASCII text data/gecode-6.2.0/test/float/trigonometric.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int.hh: C++ source, ASCII text data/gecode-6.2.0/test/int.hpp: C++ source, ASCII text data/gecode-6.2.0/test/int/arithmetic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/basic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/bin-packing.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/bool.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/circuit.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/count.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/cumulative.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/cumulatives.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/distinct.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/element.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/exec.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/extensional.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/gcc.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/linear.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/member.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/mm-arithmetic.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/mm-bool.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/mm-count.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/mm-lin.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/mm-rel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/no-overlap.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/nvalues.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/order.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/precede.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/sequence.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/sorted.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/unary.cpp: C++ source, ASCII text data/gecode-6.2.0/test/int/unshare.cpp: C++ source, ASCII text data/gecode-6.2.0/test/ldsb.cpp: C++ source, ASCII text data/gecode-6.2.0/test/nogoods.cpp: C++ source, ASCII text data/gecode-6.2.0/test/region.cpp: C++ source, ASCII text data/gecode-6.2.0/test/search.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set.hh: C++ source, ASCII text data/gecode-6.2.0/test/set.hpp: C++ source, ASCII text data/gecode-6.2.0/test/set/channel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/construct.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/convex.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/distinct.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/dom.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/element.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/exec.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/int.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/mm-set.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/precede.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/rel-op-const.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/rel-op.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/rel.cpp: C++ source, ASCII text data/gecode-6.2.0/test/set/sequence.cpp: C++ source, ASCII text data/gecode-6.2.0/test/test.cpp: C++ source, ASCII text data/gecode-6.2.0/test/test.hh: C++ source, ASCII text data/gecode-6.2.0/test/test.hpp: C++ source, ASCII text data/gecode-6.2.0/tools/flatzinc/fzn-gecode.cpp: C++ source, ASCII text data/gecode-6.2.0/tools/flatzinc/mzn-gecode.bat.in: DOS batch file, ASCII text data/gecode-6.2.0/tools/flatzinc/mzn-gecode.in: POSIX shell script, ASCII text executable data/gecode-6.2.0/debian/Makefile.examples: makefile script, ASCII text data/gecode-6.2.0/debian/changelog: ASCII text data/gecode-6.2.0/debian/clean: ASCII text data/gecode-6.2.0/debian/compat: ASCII text data/gecode-6.2.0/debian/control: ASCII text data/gecode-6.2.0/debian/copyright: UTF-8 Unicode text data/gecode-6.2.0/debian/flatzinc.install: ASCII text data/gecode-6.2.0/debian/flatzinc.links: ASCII text data/gecode-6.2.0/debian/flatzinc.lintian-overrides: ASCII text data/gecode-6.2.0/debian/fzn-gecode-gist: POSIX shell script, ASCII text executable data/gecode-6.2.0/debian/gecode-gist.msc: ASCII text data/gecode-6.2.0/debian/gecode.msc: ASCII text data/gecode-6.2.0/debian/libgecode-dev.install: ASCII text data/gecode-6.2.0/debian/libgecode-dev.lintian-overrides: ASCII text data/gecode-6.2.0/debian/libgecode-doc.dirs: ASCII text data/gecode-6.2.0/debian/libgecode-doc.doc-base: ASCII text data/gecode-6.2.0/debian/libgecode-doc.docs: ASCII text data/gecode-6.2.0/debian/libgecode-doc.install: ASCII text data/gecode-6.2.0/debian/libgecode-doc.lintian-overrides: ASCII text data/gecode-6.2.0/debian/libgecode49.install: ASCII text data/gecode-6.2.0/debian/libgecode49.lintian-overrides: ASCII text data/gecode-6.2.0/debian/libgecodeflatzinc49.install: ASCII text data/gecode-6.2.0/debian/libgecodegist49.install: ASCII text data/gecode-6.2.0/debian/patches/bison-parser-tab-ftbfs-966903: unified diff output, ASCII text data/gecode-6.2.0/debian/patches/examples-include: unified diff output, ASCII text data/gecode-6.2.0/debian/patches/no-O3: unified diff output, ASCII text data/gecode-6.2.0/debian/patches/parallel.patch: unified diff output, ASCII text data/gecode-6.2.0/debian/patches/ppc64el-fbtfs-858132: unified diff output, ASCII text data/gecode-6.2.0/debian/patches/series: ASCII text data/gecode-6.2.0/debian/patches/system-boost: unified diff output, ASCII text data/gecode-6.2.0/debian/rules: makefile script, ASCII text data/gecode-6.2.0/debian/sonameify: Bourne-Again shell script, ASCII text executable data/gecode-6.2.0/debian/source/format: ASCII text data/gecode-6.2.0/.pc/.version: ASCII text data/gecode-6.2.0/.pc/.quilt_patches: ASCII text data/gecode-6.2.0/.pc/.quilt_series: ASCII text data/gecode-6.2.0/.pc/applied-patches: ASCII text data/gecode-6.2.0/.pc/examples-include/examples/sudoku-advanced.cpp: C++ source, ASCII text data/gecode-6.2.0/.pc/examples-include/examples/sudoku.cpp: C++ source, ASCII text data/gecode-6.2.0/.pc/ppc64el-fbtfs-858132/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp: C++ source, ISO-8859 text data/gecode-6.2.0/.pc/no-O3/gecode.m4: M4 macro processor script, ISO-8859 text data/gecode-6.2.0/.pc/parallel.patch/Makefile.in: UTF-8 Unicode text data/gecode-6.2.0/.pc/system-boost/Makefile.in: UTF-8 Unicode text data/gecode-6.2.0/.pc/system-boost/gecode/float.hh: C++ source, ASCII text data/gecode-6.2.0/.pc/system-boost/gecode/float/num.hpp: C++ source, ASCII text data/gecode-6.2.0/.pc/system-boost/gecode/float/val.hpp: C++ source, ASCII text data/gecode-6.2.0/.pc/bison-parser-tab-ftbfs-966903/Makefile.in: UTF-8 Unicode text data/gecode-6.2.0/gecode.m4: M4 macro processor script, ISO-8859 text data/gecode-6.2.0/Makefile.in: UTF-8 Unicode text