Copyrights and Licenses Information
path start end what value
gecode/gecode.spec 8 8 license mit
gecode/gecode-release-6.2.0/changelog.in 12 29 license mit
gecode/gecode-release-6.2.0/changelog.in 8418 8418 license mit
gecode/gecode-release-6.2.0/CMakeLists.txt 12 29 license mit
gecode/gecode-release-6.2.0/configure 12 13 license fsf-free
gecode/gecode-release-6.2.0/configure 1612 1613 license fsf-free
gecode/gecode-release-6.2.0/configure 13762 13763 license fsf-free
gecode/gecode-release-6.2.0/configure.ac 20 37 license mit
gecode/gecode-release-6.2.0/configure.ac.in 16 33 license mit
gecode/gecode-release-6.2.0/gecode.m4 16 33 license mit
gecode/gecode-release-6.2.0/gecode.m4 221 221 license fsf-ap
gecode/gecode-release-6.2.0/gecode.m4.autoconf_builtin 16 33 license mit
gecode/gecode-release-6.2.0/gecode.m4.autoconf_builtin 221 221 license fsf-ap
gecode/gecode-release-6.2.0/install-sh 12 32 license x11-xconsortium
gecode/gecode-release-6.2.0/install-sh 35 35 license public-domain
gecode/gecode-release-6.2.0/LICENSE 1 1 license unknown-license-reference
gecode/gecode-release-6.2.0/LICENSE 8 25 license mit
gecode/gecode-release-6.2.0/Makefile.contribs 18 35 license mit
gecode/gecode-release-6.2.0/Makefile.in 15 32 license mit
gecode/gecode-release-6.2.0/Makefile.in.no_examples 15 32 license mit
gecode/gecode-release-6.2.0/README.md 37 40 license mit
gecode/gecode-release-6.2.0/contribs/README 18 18 license unknown-license-reference
gecode/gecode-release-6.2.0/contribs/qecode/AbstractWorker.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/configure 12 13 license fsf-free
gecode/gecode-release-6.2.0/contribs/qecode/configure 1309 1310 license fsf-free
gecode/gecode-release-6.2.0/contribs/qecode/configure 2285 2286 license fsf-free
gecode/gecode-release-6.2.0/contribs/qecode/configure.ac 12 28 license mit
gecode/gecode-release-6.2.0/contribs/qecode/myDom.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/myspace.cc 5 21 license mit
gecode/gecode-release-6.2.0/contribs/qecode/myspace.hh 5 21 license mit
gecode/gecode-release-6.2.0/contribs/qecode/OptVar.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/OptVar.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/QCOPPlus.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/QCOPPlus.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/QCSPPlusUnblockable.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/QCSPPlusUnblockable.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qecode.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_parallel.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_parallel.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcop.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcop.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcsp.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcsp.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_unblockable.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_unblockable.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Strategy.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Strategy.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/StrategyNode.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/StrategyNode.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableBranching.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableViewValBranching.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableViewValBranching.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/vartype.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Work.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Work.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Worker.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/Worker.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/WorkManager.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/WorkManager.hh 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/MatrixGame.cpp 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/network-pricing1.cpp 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/network-pricing2.cpp 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/NimFibo.cpp 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/optim2.cc 4 20 license mit
gecode/gecode-release-6.2.0/contribs/qecode/examples/stress_test.cpp 4 20 license mit
gecode/gecode-release-6.2.0/contribs/quacode/CMakeLists.txt 15 32 license mit
gecode/gecode-release-6.2.0/contribs/quacode/FindGecode.cmake 15 32 license mit
gecode/gecode-release-6.2.0/contribs/quacode/LICENSE 1 1 license unknown-license-reference
gecode/gecode-release-6.2.0/contribs/quacode/LICENSE 8 25 license mit
gecode/gecode-release-6.2.0/contribs/quacode/doxygen/Doxyfile.conf 15 32 license mit
gecode/gecode-release-6.2.0/contribs/quacode/doxygen/getrevision.sh 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/baker.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/connect-four.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/matrix-game.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/nim-fibo.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/qbf.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/qdimacs.cpp 31 48 license mit
gecode/gecode-release-6.2.0/contribs/quacode/examples/rndQCSP.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qcsp.hh 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.hh 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.hpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool.hh 31 48 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/watch.hpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/clause.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/eq.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/eqv.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/or.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/qbool.cpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/xor.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/xorv.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/qdfs.cpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/qdfs.hpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qdfs.hh 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qpath.cpp 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qpath.hh 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/dynamic-list.hh 29 46 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/log.cpp 16 33 license mit
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/log.hh 16 33 license mit
gecode/gecode-release-6.2.0/doxygen/doxygen.conf.in 19 36 license mit
gecode/gecode-release-6.2.0/doxygen/doxygen.hh.in 14 31 license mit
gecode/gecode-release-6.2.0/examples/all-interval.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/alpha.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/archimedean-spiral.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/bacp.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/bibd.cpp 16 33 license mit
gecode/gecode-release-6.2.0/examples/black-hole.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/car-sequencing.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/cartesian-heart.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/CMakeLists.txt 12 29 license mit
gecode/gecode-release-6.2.0/examples/colored-matrix.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/crew.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/crossword.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/crowded-chess.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/descartes-folium.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/dominating-queens.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/domino.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/donald.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/efpa.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/eq20.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/golden-spiral.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/golf.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/golomb-ruler.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/graph-color.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/grocery.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/hamming.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/ind-set.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/job-shop.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/kakuro.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/knights.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/langford-number.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/magic-sequence.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/magic-square-partial.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/magic-square.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/minesweeper.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/money.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/nonogram.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/open-shop.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/ortho-latin.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/partition.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/pentominoes.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/perfect-square.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/qcp.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/queen-armies.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/queens.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/radiotherapy.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/sat.cpp 15 32 license mit
gecode/gecode-release-6.2.0/examples/schurs-lemma.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/scowl.hpp 10 27 license mit
gecode/gecode-release-6.2.0/examples/scowl.hpp 13879 13886 license mit-old-style
gecode/gecode-release-6.2.0/examples/scowl.hpp 13900 13910 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13919 13920 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13929 13933 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13937 13939 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13948 13948 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13953 13982 license wordnet
gecode/gecode-release-6.2.0/examples/scowl.hpp 13985 13986 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 13997 13998 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 14002 14002 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 14007 14008 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 14019 14019 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 14027 14027 license public-domain
gecode/gecode-release-6.2.0/examples/scowl.hpp 14029 14043 license other-permissive
gecode/gecode-release-6.2.0/examples/scowl.hpp 14050 14057 license mit-old-style
gecode/gecode-release-6.2.0/examples/scowl.hpp 14075 14104 license other-permissive
gecode/gecode-release-6.2.0/examples/sports-league.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/steel-mill.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/steiner.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/sudoku-advanced.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/sudoku-instances.hh 17 34 license mit
gecode/gecode-release-6.2.0/examples/sudoku.cpp 17 34 license mit
gecode/gecode-release-6.2.0/examples/tsp.cpp 16 33 license mit
gecode/gecode-release-6.2.0/examples/warehouses.cpp 13 30 license mit
gecode/gecode-release-6.2.0/examples/word-square.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/driver.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc.hh.fix_warnings 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float.hh.fix_warnings 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float.hh.unbundle_boost 17 34 license mit
gecode/gecode-release-6.2.0/gecode/gist.hh 12 29 license mit
gecode/gecode-release-6.2.0/gecode/int.hh 25 42 license mit
gecode/gecode-release-6.2.0/gecode/int.hh.fix_warnings 25 42 license mit
gecode/gecode-release-6.2.0/gecode/iter.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/minimodel.hh 21 38 license mit
gecode/gecode-release-6.2.0/gecode/search.hh 21 38 license mit
gecode/gecode-release-6.2.0/gecode/set.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set.hh.fix_warnings 19 36 license mit
gecode/gecode-release-6.2.0/gecode/support.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/driver/options.cpp 14 31 license mit
gecode/gecode-release-6.2.0/gecode/driver/options.hpp 14 31 license mit
gecode/gecode-release-6.2.0/gecode/driver/script.cpp 14 31 license mit
gecode/gecode-release-6.2.0/gecode/driver/script.hpp 14 31 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/ast.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/conexpr.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/flatzinc.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/lexer.lxx 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/lexer.yy.cpp 613 630 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/option.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.tab.cpp 1 31 license gpl-3.0-plus WITH bison-exception-2.2
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.tab.hh 1 31 license gpl-3.0-plus WITH bison-exception-2.2
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.yxx 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/plugin.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/registry.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/registry.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/symboltable.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/varspec.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.pro 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/all_different_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/all_equal_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/among.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_least_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_least_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_most_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_most_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing_capa.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing_load.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/circuit.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/count.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/cumulative.mzn 14 31 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/decreasing_bool.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/decreasing_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/diffn.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/disjoint.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/distribute.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/exactly_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/exactly_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/gecode.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_closed.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/increasing_bool.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/increasing_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/int_set_channel.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/inverse.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/inverse_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_less_bool.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_less_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_bool.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/link_set_to_booleans.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/maximum_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/member_bool.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/member_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/minimum_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/nvalue.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/partition_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/range.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/redefinitions.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/regular.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/roots.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/sort.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/sum_pred.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/table_bool.mzn 14 31 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/table_int.mzn 14 31 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/value_precede_int.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/value_precede_set.mzn 12 29 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/array-traits.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/array.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/array.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/bool.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/branch.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/channel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/channel.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/channel.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/dom.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/exception.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/exception.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/exec.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/limits.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/linear.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/linear.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/nextafter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/num.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/num.hpp.unbundle_boost 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/rel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/rel.hh 21 38 license mit
gecode/gecode-release-6.2.0/gecode/float/relax.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/rounding.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/rounding.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trace.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trace.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/transcendental.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/transcendental.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trigonometric.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/trigonometric.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/val.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/val.hpp.unbundle_boost 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/var-imp.hpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/float/view.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/abs.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/div.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/min-max.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/mult.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/pow-nroot.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/arithmetic/sqr-sqrt.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/bool/ite.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/action.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/action.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/afc.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/assign.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/chb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/chb.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/merit.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/val-commit.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/val-sel-commit.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/val-sel.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/var.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/branch/view-sel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/channel/channel.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/linear/nary.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/linear/post.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/rel/eq.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/rel/lq-le.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/rel/nq.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/trace/delta.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trace/trace-view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trace/tracer.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trace/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/transcendental/exp-log.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trigonometric/asinacos.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trigonometric/sincos.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/trigonometric/tanatan.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/float/var/float.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/var/float.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/var/print.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/var-imp/delta.hpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.cpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.hpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.vis 17 34 license mit
gecode/gecode-release-6.2.0/gecode/float/view/float.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/view/minus.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/view/offset.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/view/print.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/view/rel-test.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/float/view/scale.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/gecodelogo.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/gecodelogo.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/gist.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/gist.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/layoutcursor.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/layoutcursor.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/mainwindow.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/mainwindow.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/node.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/node.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/node.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodecursor.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodecursor.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodestats.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodestats.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodevisitor.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodevisitor.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodewidget.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/nodewidget.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/preferences.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/preferences.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/qtgist.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/qtgist.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/spacenode.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/spacenode.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/spacenode.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/stopbrancher.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/stopbrancher.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/textoutput.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/textoutput.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/treecanvas.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/treecanvas.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/visualnode.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/visualnode.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/visualnode.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/zoomToFitIcon.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/gist/standalone-example/mygist.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/array-traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/array.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/array.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/branch.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/branch.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/channel.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/circuit.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/circuit.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulatives.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulatives.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/div.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/div.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/dom.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/dom.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/element.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/element.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/exception.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/exception.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/exec.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/exec.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional-regular.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional-tuple-set.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/idx-view.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/idx-view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/int-set-1.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/int-set-2.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/int-set.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ipl.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/irt.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/limits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear-bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear-int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/member.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/member.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/order.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/order.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/precede.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/precede.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/propagator.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/reify.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/rel.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/relax.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/support-values.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/support-values.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/unary.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/unshare.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/val-set.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/val-set.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/abs.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/argmax.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/divmod.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/max.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/mult.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/mult.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/nroot.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/pow-ops.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/arithmetic/pow.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing/conflict-graph.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing/conflict-graph.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing/propagate.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bin-packing/propagate.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/clause.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/eqv.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/eqv.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/ite.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/bool/or.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/action.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/action.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/afc.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/assign.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/cbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/chb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/chb.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/merit.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/ngl.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/val-commit.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/val-sel-commit.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/val-sel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/var.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/view-sel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/view-values.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/branch/view-values.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/dom.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/link-multi.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/link-multi.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/link-single.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/link-single.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/channel/val.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/circuit/base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/circuit/dom.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/circuit/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/int-base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/int-eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/int-gq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/int-lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/rel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/view-base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/view-eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/view-gq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/count/view-lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/edge-finding.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/limits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/man-prop.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/opt-prop.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/overload.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/post.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/subsumption.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/task-view.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/task.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/time-tabling.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulative/tree.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/cumulatives/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/bnd.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/cbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/dom-ctrl.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/dom.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/eqite.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/eqite.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/graph.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/ter-dom.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/distinct/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/dom/range.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/dom/set.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/element/int.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/element/pair.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/element/pair.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/element/view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/exec/when.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/exec/when.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/bit-set.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/compact.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/dfa.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/dfa.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/layered-graph.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/tiny-bit-set.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/tuple-set.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/extensional/tuple-set.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/bnd-sup.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/bnd.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/dom-sup.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/dom.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/post.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/val.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/int/gcc/view.hpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb/brancher.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-imp.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-imp.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-obj.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/bool-int.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/bool-post.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/bool-scale.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/bool-view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-bin.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-dom.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-nary.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-noview.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-post.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/int-ter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/linear/post.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/member/prop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/member/re-prop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap/base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap/box.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap/dim.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap/man.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/no-overlap/opt.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-gq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/graph.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-base.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-gq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/range-event.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/nvalues/sym-bit-matrix.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/order/propagate.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/order/propagate.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/precede/single.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/rel/eq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/rel/lex.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/rel/lq-le.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/rel/nq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence/int.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence/set-op.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence/view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/sequence/violations.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted/matching.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted/narrowing.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted/order.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted/propagate.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/sorted/sortsup.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/array.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/event.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/fwd-to-bwd.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/iter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/man-to-opt.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/prop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/purge.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/task/sort.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/task/tree.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/bool-delta.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/bool-trace-view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/int-delta.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/int-trace-view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/tracer.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/trace/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/detectable.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/edge-finding.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/man-prop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/not-first-not-last.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/opt-prop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/overload.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/post.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/subsumption.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/task-view.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/task.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/time-tabling.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/int/unary/tree.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var/bool.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var/int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var/int.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var/print.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.vis 12 29 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/delta.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.vis 12 29 license mit
gecode/gecode-release-6.2.0/gecode/int/view/bool-test.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view/bool.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/cached.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/constint.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view/int.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/iter.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/minus.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/neg-bool.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/offset.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/print.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view/rel-test.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view/scale.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/int/view/zero.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/bi-link.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/comb-ptr-flag.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/edge.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/graph.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/iter-prune-val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/node.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-add.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-append.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-array.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-cache.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-compl.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-diff.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-empty.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-inter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-list.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-map.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-minmax.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-minus.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-negative.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-offset.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-operations.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-positive.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-rangelist.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-scale.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-singleton-append.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-singleton.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-size.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-union.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/ranges-values.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-array.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-bitset.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-bitsetoffset.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-inter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-list.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-map.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-minus.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-negative.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-offset.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-positive.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-ranges.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-singleton.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-union.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/iter/values-unique.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/archive.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/archive.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/core.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/kernel/core.cpp.fix_warnings 17 34 license mit
gecode/gecode-release-6.2.0/gecode/kernel/core.hpp 26 43 license mit
gecode/gecode-release-6.2.0/gecode/kernel/core.hpp.fix_warnings 26 43 license mit
gecode/gecode-release-6.2.0/gecode/kernel/exception.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/exception.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/gpi.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/gpi.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/macros.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/modevent.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/range-list.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/kernel/shared-object.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/shared-space-data.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/var-imp.hpp 23 40 license mit
gecode/gecode-release-6.2.0/gecode/kernel/var-type.hpp 23 40 license mit
gecode/gecode-release-6.2.0/gecode/kernel/var.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/action.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/action.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/afc.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/afc.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/chb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/chb.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/filter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/function.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/merit.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/print.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/tiebreak.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-commit.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-sel-commit.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-sel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/var.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/view-sel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/view-val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/branch/view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/array.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/array.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/array.hpp.fix_warnings 19 36 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/rnd.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/rnd.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-array.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-array.hpp.fix_warnings 19 36 license mit
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-data.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/allocators.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/config.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/manager.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/manager.hpp 20 37 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/region.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/memory/region.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/propagator/advisor.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/kernel/propagator/pattern.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/kernel/propagator/subscribed.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/propagator/wait.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/filter.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/filter.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/general.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/general.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/print.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/recorder.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/recorder.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/tracer.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/tracer.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/kernel/trace/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/aliases.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/bool-expr.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/bool-expr.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/channel.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/dom.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/exception.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/exception.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/float-arith.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/float-expr.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/float-expr.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/float-rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/float-rel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/int-arith.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/int-expr.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/int-expr.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/int-rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/int-rel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/ipl.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/ipl.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/ldsb.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/matrix.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/optimize.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/optimize.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/reg.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/reg.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/set-expr.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/set-expr.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/set-rel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/minimodel/set-rel.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/bab.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/bab.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/base.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/build.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/cutoff.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/cutoff.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/dfs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/dfs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/engine.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/engine.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/exception.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/exception.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/lds.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/search/lds.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/nogoods.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/nogoods.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/nogoods.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/options.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/options.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/pbs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/pbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/rbs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/rbs.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/search/relax.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/sebs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/statistics.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/stop.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/stop.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/support.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/trace-recorder.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/tracer.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/tracer.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/worker.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/connector.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/connector.hpp 223 223 license cc-by-nc-sa-3.0
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/connector.hpp 223 223 license cc-by-nc-nd-3.0
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/connector.hpp 225 225 license public-domain
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/message.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/tracer.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/search/par/bab.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/bab.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/dfs.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/dfs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/engine.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/engine.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/path.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/path.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/pbs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/pbs.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/par/pbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/bab.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/bab.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/dead.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/dead.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/dfs.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/dfs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/lds.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/lds.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/path.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/path.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hh.fix_warnings 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hpp.fix_warnings 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/array-traits.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/array.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/array.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/branch.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/cardinality.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/channel.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/channel.hh 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/convex.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/convex.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/distinct.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/distinct.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/dom.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/element.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/element.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/exception.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/exception.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/exec.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/int.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/int.hh 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/int.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/ldsb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/ldsb.hh 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/limits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/precede.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/precede.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-cvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-cvv.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vcc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vcv.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-singleton.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op-ternary.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/relax.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence.hh 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/trace.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/trace.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/view.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/action.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/action.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/afc.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/assign.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/chb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/chb.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/merit.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/ngl.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/ngl.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/val-commit.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/val-sel-commit.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/val-sel.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/val.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/var.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/branch/view-sel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/channel/bool.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/channel/int.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/channel/set.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/channel/sorted.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/convex/conv.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/convex/conv.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/convex/hull.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/convex/hull.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/distinct/atmostOne.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/distinct/atmostOne.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/element/disjoint.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/element/inter.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/element/union.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/element/unionConst.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/int/card.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/int/minmax.hpp 18 35 license mit
gecode/gecode-release-6.2.0/gecode/set/int/weights.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/ldsb/brancher.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/ldsb/sym-imp.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/precede/single.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/common.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/eq.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/nosubset.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/nq.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/re-eq.hpp 18 35 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/re-lq.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/re-subset.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/rel/subset.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/common.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/inter.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/partition.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-cvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-cvv.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-vvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-cvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-cvv.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-vvc.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl.cpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/post.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/subofunion.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/superofinter.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/rel-op/union.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence/common.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence/seq-u.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence/seq-u.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence/seq.cpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/sequence/seq.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/trace/delta.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/trace/trace-view.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/trace/tracer.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/trace/traits.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/var/print.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/var/set.cpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/var/set.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/delta.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/integerset.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/integerset.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/iter.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.cpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.vis 16 33 license mit
gecode/gecode-release-6.2.0/gecode/set/view/cached.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/view/complement.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/set/view/const.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/set/view/print.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/set/view/set.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/set/view/singleton.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/support/allocator.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/allocator.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/auto-link.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/bitset-base.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/support/bitset-offset.hpp 19 36 license mit
gecode/gecode-release-6.2.0/gecode/support/bitset.hpp 17 34 license mit
gecode/gecode-release-6.2.0/gecode/support/block-allocator.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/cast.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/config.hpp.in 12 29 license mit
gecode/gecode-release-6.2.0/gecode/support/dynamic-array.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/dynamic-queue.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/dynamic-stack.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/exception.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/exception.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/hash.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/support/heap.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/heap.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/hw-rnd.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/hw-rnd.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/int-type.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/macros.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/macros.hpp.builtin_unreachable 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/marked-pointer.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/random.hpp 15 32 license mit
gecode/gecode-release-6.2.0/gecode/support/ref-count.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/run-jobs.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/sort.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/static-stack.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread.hpp 16 33 license mit
gecode/gecode-release-6.2.0/gecode/support/timer.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/none.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/pthreads.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/pthreads.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/thread.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/thread.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/windows.cpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/support/thread/windows.hpp 13 30 license mit
gecode/gecode-release-6.2.0/gecode/third-party/boost/config.hpp 1 23 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/extract.perl 12 29 license mit
gecode/gecode-release-6.2.0/gecode/third-party/boost/LICENSE_1_0.txt 1 23 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/limits.hpp 1 23 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/limits.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/non_type.hpp 1 23 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/non_type.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/type.hpp 1 23 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/type.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi_prefix.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi_suffix.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/posix_features.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_compiler_config.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_platform_config.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_stdlib_config.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/suffix.hpp 12 14 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/user.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/borland_prefix.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/borland_suffix.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/msvc_prefix.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/msvc_suffix.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/borland.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/clang.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/codegear.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/comeau.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/common_edg.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/compaq_cxx.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/digitalmars.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/gcc.hpp 8 10 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/gcc_xml.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/greenhills.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/hp_acc.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/intel.hpp 9 11 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/kai.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/metrowerks.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/mpw.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/nvcc.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/pathscale.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/pgi.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/sunpro_cc.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/vacpp.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/visualc.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/no_tr1/cmath.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/no_tr1/utility.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/aix.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/amigaos.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/beos.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/bsd.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/cygwin.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/hpux.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/irix.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/linux.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/macos.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/macos.hpp 16 16 license bsd-new
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/qnxnto.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/solaris.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/symbian.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/vms.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/vxworks.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/win32.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/dinkumware.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libcomo.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libcpp.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/modena.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/msl.hpp 3 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/roguewave.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/sgi.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/stlport.hpp 4 6 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/vacpp.hpp 2 4 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/endian.hpp 4 5 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/endian.hpp 11 17 license mit-old-style
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/limits.hpp 2 3 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/limits.hpp 9 15 license mit-old-style
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith2.hpp 9 11 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith3.hpp 10 12 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/checking.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/constants.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/hw_rounding.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/interval.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/policies.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounded_arith.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounded_transc.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounding.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/transc.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/utility.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/certain.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/explicit.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/possible.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/set.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/bugs.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/division.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp.orig 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp 7 9 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/test_input.hpp 5 7 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp 6 8 license boost-1.0
gecode/gecode-release-6.2.0/misc/fixautoheader.perl 15 32 license mit
gecode/gecode-release-6.2.0/misc/fixmanifest.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/genchangelog.perl 17 34 license mit
gecode/gecode-release-6.2.0/misc/gencurrentchangelog.perl 15 32 license mit
gecode/gecode-release-6.2.0/misc/genlcovmakefile.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/genlicense.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/genlicense.perl 57 57 license unknown-license-reference
gecode/gecode-release-6.2.0/misc/genlicense.perl 60 62 license mit
gecode/gecode-release-6.2.0/misc/genlicense.perl 65 82 license mit
gecode/gecode-release-6.2.0/misc/genrc.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/genrc.perl 97 114 license mit
gecode/gecode-release-6.2.0/misc/genstatistics.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/gentxtchangelog.perl 15 32 license mit
gecode/gecode-release-6.2.0/misc/genvarimp.perl 13 30 license mit
gecode/gecode-release-6.2.0/misc/genvarimp.perl 76 93 license mit
gecode/gecode-release-6.2.0/misc/makedepend.perl 12 29 license mit
gecode/gecode-release-6.2.0/test/afc.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/array.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/assign.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/assign.hh 17 34 license mit
gecode/gecode-release-6.2.0/test/branch.cpp 19 36 license mit
gecode/gecode-release-6.2.0/test/branch.hh 19 36 license mit
gecode/gecode-release-6.2.0/test/flatzinc.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc.hh 13 30 license mit
gecode/gecode-release-6.2.0/test/float.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/float.hh 17 34 license mit
gecode/gecode-release-6.2.0/test/float.hpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/int.hh 15 32 license mit
gecode/gecode-release-6.2.0/test/int.hpp 15 32 license mit
gecode/gecode-release-6.2.0/test/ldsb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/nogoods.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/region.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/search.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/set.hh 15 32 license mit
gecode/gecode-release-6.2.0/test/set.hpp 13 30 license mit
gecode/gecode-release-6.2.0/test/test.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/test.hh 17 34 license mit
gecode/gecode-release-6.2.0/test/test.hpp 13 30 license mit
gecode/gecode-release-6.2.0/test/assign/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/assign/float.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/assign/int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/assign/set.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/branch/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/branch/float.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/branch/int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/branch/set.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/2dpacking.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/alpha.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships10.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships3.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships4.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships5.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships7.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/battleships9.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/blocksworld_instance_1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/blocksworld_instance_2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/bool_clause.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/bug232.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/bug319.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/bugfix_r6746.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/bugfix_r7854.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/cumulatives.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/cutstock.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/empty_domain_1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/empty_domain_2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/eq20.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/factory_planning_instance.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/golomb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/int_set_as_type1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/int_set_as_type2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/jobshop.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/jobshop2x2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/knights.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/langford2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/latin_squares_fd.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_3.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_4.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_5.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/multidim_knapsack_simple.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/no_warn_empty_domain.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/oss.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/output_test.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/perfsq.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/perfsq2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/photo.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/product_fd.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/product_lp.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/quasigroup_qg5.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/queen_cp2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/queen_ip.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/queens4.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/radiation.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sat_arith1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sat_array_bool_and.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sat_array_bool_or.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sat_cmp_reif.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sat_eq_reif.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/shared_array_element.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/simple_sat.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/singHoist2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/steiner_triples.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/sudoku.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/template_design.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_1.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_2.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_3.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_4.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_5.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_6.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_approx_bnb.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_array_just_right.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_assigned_var_bounds_bad.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_flatzinc_output_anns.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_arith.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_arrays.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_coercions.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_comparison.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_logic.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_sets.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_int_div.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_int_mod.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_int_ranges_as_values.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/test_seq_search.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/timetabling.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/trucking.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/warehouses.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/warehouses_small.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/wolf_goat_cabbage.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/flatzinc/zebra.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/float/arithmetic.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/basic.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/channel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/dom.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/linear.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/mm-lin.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/float/rel.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/transcendental.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/float/trigonometric.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/int/arithmetic.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/basic.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/bin-packing.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/bool.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/channel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/circuit.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/count.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/cumulative.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/cumulatives.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/distinct.cpp 15 32 license mit
gecode/gecode-release-6.2.0/test/int/dom.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/element.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/exec.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/extensional.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/gcc.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/linear.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/member.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/mm-arithmetic.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/mm-bool.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/mm-count.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/mm-lin.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/mm-rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/no-overlap.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/nvalues.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/order.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/precede.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/sequence.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/sorted.cpp 17 34 license mit
gecode/gecode-release-6.2.0/test/int/unary.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/int/unshare.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/channel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/construct.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/convex.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/distinct.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/dom.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/element.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/exec.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/int.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/mm-set.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/precede.cpp 19 36 license mit
gecode/gecode-release-6.2.0/test/set/rel-op-const.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/rel-op.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/rel.cpp 13 30 license mit
gecode/gecode-release-6.2.0/test/set/sequence.cpp 13 30 license mit
gecode/gecode-release-6.2.0/tools/flatzinc/fzn-gecode.cpp 13 30 license mit
gecode/gecode-release-6.2.0/tools/flatzinc/mzn-gecode.bat.in 14 31 license mit
gecode/gecode-release-6.2.0/tools/flatzinc/mzn-gecode.in 13 30 license mit
File Information
path type name extension date size sha1 md5 files_count mime_type file_type programming_language is_binary is_text is_archive is_media is_source is_script
gecode directory
gecode/gecode-4.0.0-no_examples.patch file
gecode/gecode-6.2.0-autoconf_builtin.patch file
gecode/gecode-6.2.0-builtin_unreachable.patch file
gecode/gecode-6.2.0-fix_warnings.patch file
gecode/gecode-6.2.0-unbundle_boost.patch file
gecode/gecode-release-6.2.0-SPECPARTS directory
gecode/gecode.spec file
gecode/release-6.2.0.tar.gz file
gecode/sources file
gecode/gecode-release-6.2.0 directory
gecode/gecode-release-6.2.0/.travis.yml file
gecode/gecode-release-6.2.0/changelog.in file
gecode/gecode-release-6.2.0/CMakeLists.txt file
gecode/gecode-release-6.2.0/configure file
gecode/gecode-release-6.2.0/configure.ac file
gecode/gecode-release-6.2.0/configure.ac.in file
gecode/gecode-release-6.2.0/gecode.m4 file
gecode/gecode-release-6.2.0/gecode.m4.autoconf_builtin file
gecode/gecode-release-6.2.0/install-sh file
gecode/gecode-release-6.2.0/LICENSE file
gecode/gecode-release-6.2.0/Makefile.contribs file
gecode/gecode-release-6.2.0/Makefile.dep file
gecode/gecode-release-6.2.0/Makefile.in file
gecode/gecode-release-6.2.0/Makefile.in.no_examples file
gecode/gecode-release-6.2.0/README.md file
gecode/gecode-release-6.2.0/.github directory
gecode/gecode-release-6.2.0/.github/ISSUE_TEMPLATE directory
gecode/gecode-release-6.2.0/.github/ISSUE_TEMPLATE/report-a-bug-in-gecode.md file
gecode/gecode-release-6.2.0/.github/ISSUE_TEMPLATE/request-a-feature-in-gecode.md file
gecode/gecode-release-6.2.0/contribs directory
gecode/gecode-release-6.2.0/contribs/README file
gecode/gecode-release-6.2.0/contribs/qecode directory
gecode/gecode-release-6.2.0/contribs/qecode/AbstractWorker.hh file
gecode/gecode-release-6.2.0/contribs/qecode/clean file
gecode/gecode-release-6.2.0/contribs/qecode/configure file
gecode/gecode-release-6.2.0/contribs/qecode/configure.ac file
gecode/gecode-release-6.2.0/contribs/qecode/Doxyfile file
gecode/gecode-release-6.2.0/contribs/qecode/Makefile.in.in file
gecode/gecode-release-6.2.0/contribs/qecode/myDom.cc file
gecode/gecode-release-6.2.0/contribs/qecode/myspace.cc file
gecode/gecode-release-6.2.0/contribs/qecode/myspace.hh file
gecode/gecode-release-6.2.0/contribs/qecode/OptVar.cc file
gecode/gecode-release-6.2.0/contribs/qecode/OptVar.hh file
gecode/gecode-release-6.2.0/contribs/qecode/QCOPPlus.cc file
gecode/gecode-release-6.2.0/contribs/qecode/QCOPPlus.hh file
gecode/gecode-release-6.2.0/contribs/qecode/QCSPPlusUnblockable.cc file
gecode/gecode-release-6.2.0/contribs/qecode/QCSPPlusUnblockable.hh file
gecode/gecode-release-6.2.0/contribs/qecode/qecode.hh file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_parallel.cc file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_parallel.hh file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcop.cc file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcop.hh file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcsp.cc file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_qcsp.hh file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_unblockable.cc file
gecode/gecode-release-6.2.0/contribs/qecode/qsolver_unblockable.hh file
gecode/gecode-release-6.2.0/contribs/qecode/README file
gecode/gecode-release-6.2.0/contribs/qecode/shortdesc.ac file
gecode/gecode-release-6.2.0/contribs/qecode/Strategy.cc file
gecode/gecode-release-6.2.0/contribs/qecode/Strategy.hh file
gecode/gecode-release-6.2.0/contribs/qecode/StrategyNode.cc file
gecode/gecode-release-6.2.0/contribs/qecode/StrategyNode.hh file
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableBranching.hh file
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableViewValBranching.cc file
gecode/gecode-release-6.2.0/contribs/qecode/UnblockableViewValBranching.hh file
gecode/gecode-release-6.2.0/contribs/qecode/vartype.hh file
gecode/gecode-release-6.2.0/contribs/qecode/Work.cc file
gecode/gecode-release-6.2.0/contribs/qecode/Work.hh file
gecode/gecode-release-6.2.0/contribs/qecode/WorkComparators.hh file
gecode/gecode-release-6.2.0/contribs/qecode/Worker.cc file
gecode/gecode-release-6.2.0/contribs/qecode/Worker.hh file
gecode/gecode-release-6.2.0/contribs/qecode/WorkManager.cc file
gecode/gecode-release-6.2.0/contribs/qecode/WorkManager.hh file
gecode/gecode-release-6.2.0/contribs/qecode/examples directory
gecode/gecode-release-6.2.0/contribs/qecode/examples/COMPILING file
gecode/gecode-release-6.2.0/contribs/qecode/examples/MatrixGame.cpp file
gecode/gecode-release-6.2.0/contribs/qecode/examples/network-pricing1.cpp file
gecode/gecode-release-6.2.0/contribs/qecode/examples/network-pricing2.cpp file
gecode/gecode-release-6.2.0/contribs/qecode/examples/NimFibo.cpp file
gecode/gecode-release-6.2.0/contribs/qecode/examples/optim2.cc file
gecode/gecode-release-6.2.0/contribs/qecode/examples/stress_test.cpp file
gecode/gecode-release-6.2.0/contribs/quacode directory
gecode/gecode-release-6.2.0/contribs/quacode/CMakeLists.txt file
gecode/gecode-release-6.2.0/contribs/quacode/FindGecode.cmake file
gecode/gecode-release-6.2.0/contribs/quacode/LICENSE file
gecode/gecode-release-6.2.0/contribs/quacode/README file
gecode/gecode-release-6.2.0/contribs/quacode/doxygen directory
gecode/gecode-release-6.2.0/contribs/quacode/doxygen/Doxyfile.conf file
gecode/gecode-release-6.2.0/contribs/quacode/doxygen/getrevision.sh file
gecode/gecode-release-6.2.0/contribs/quacode/doxygen/mainpage.md file
gecode/gecode-release-6.2.0/contribs/quacode/examples directory
gecode/gecode-release-6.2.0/contribs/quacode/examples/baker.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/connect-four.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/matrix-game.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/nim-fibo.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/qbf.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/qdimacs.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/examples/rndQCSP.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qcsp.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qspaceinfo.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/watch.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/clause.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/eq.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/eqv.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/or.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/qbool.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/xor.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/qint/qbool/xorv.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/qdfs.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/qdfs.hpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qdfs.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qpath.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/search/sequential/qpath.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support directory
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/dynamic-list.hh file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/log.cpp file
gecode/gecode-release-6.2.0/contribs/quacode/quacode/support/log.hh file
gecode/gecode-release-6.2.0/doxygen directory
gecode/gecode-release-6.2.0/doxygen/doxygen.conf.in file
gecode/gecode-release-6.2.0/doxygen/doxygen.hh.in file
gecode/gecode-release-6.2.0/examples directory
gecode/gecode-release-6.2.0/examples/all-interval.cpp file
gecode/gecode-release-6.2.0/examples/alpha.cpp file
gecode/gecode-release-6.2.0/examples/archimedean-spiral.cpp file
gecode/gecode-release-6.2.0/examples/bacp.cpp file
gecode/gecode-release-6.2.0/examples/bibd.cpp file
gecode/gecode-release-6.2.0/examples/bin-packing.cpp file
gecode/gecode-release-6.2.0/examples/black-hole.cpp file
gecode/gecode-release-6.2.0/examples/car-sequencing.cpp file
gecode/gecode-release-6.2.0/examples/cartesian-heart.cpp file
gecode/gecode-release-6.2.0/examples/CMakeLists.txt file
gecode/gecode-release-6.2.0/examples/colored-matrix.cpp file
gecode/gecode-release-6.2.0/examples/crew.cpp file
gecode/gecode-release-6.2.0/examples/crossword.cpp file
gecode/gecode-release-6.2.0/examples/crowded-chess.cpp file
gecode/gecode-release-6.2.0/examples/descartes-folium.cpp file
gecode/gecode-release-6.2.0/examples/dominating-queens.cpp file
gecode/gecode-release-6.2.0/examples/domino.cpp file
gecode/gecode-release-6.2.0/examples/donald.cpp file
gecode/gecode-release-6.2.0/examples/efpa.cpp file
gecode/gecode-release-6.2.0/examples/eq20.cpp file
gecode/gecode-release-6.2.0/examples/golden-spiral.cpp file
gecode/gecode-release-6.2.0/examples/golf.cpp file
gecode/gecode-release-6.2.0/examples/golomb-ruler.cpp file
gecode/gecode-release-6.2.0/examples/graph-color.cpp file
gecode/gecode-release-6.2.0/examples/grocery.cpp file
gecode/gecode-release-6.2.0/examples/hamming.cpp file
gecode/gecode-release-6.2.0/examples/ind-set.cpp file
gecode/gecode-release-6.2.0/examples/job-shop.cpp file
gecode/gecode-release-6.2.0/examples/kakuro.cpp file
gecode/gecode-release-6.2.0/examples/knights.cpp file
gecode/gecode-release-6.2.0/examples/langford-number.cpp file
gecode/gecode-release-6.2.0/examples/magic-sequence.cpp file
gecode/gecode-release-6.2.0/examples/magic-square-partial.cpp file
gecode/gecode-release-6.2.0/examples/magic-square.cpp file
gecode/gecode-release-6.2.0/examples/minesweeper.cpp file
gecode/gecode-release-6.2.0/examples/money.cpp file
gecode/gecode-release-6.2.0/examples/multi-bin-packing.cpp file
gecode/gecode-release-6.2.0/examples/nonogram.cpp file
gecode/gecode-release-6.2.0/examples/open-shop.cpp file
gecode/gecode-release-6.2.0/examples/ortho-latin.cpp file
gecode/gecode-release-6.2.0/examples/partition.cpp file
gecode/gecode-release-6.2.0/examples/pentominoes.cpp file
gecode/gecode-release-6.2.0/examples/perfect-square.cpp file
gecode/gecode-release-6.2.0/examples/photo.cpp file
gecode/gecode-release-6.2.0/examples/qcp.cpp file
gecode/gecode-release-6.2.0/examples/queen-armies.cpp file
gecode/gecode-release-6.2.0/examples/queens.cpp file
gecode/gecode-release-6.2.0/examples/radiotherapy.cpp file
gecode/gecode-release-6.2.0/examples/sat.cpp file
gecode/gecode-release-6.2.0/examples/schurs-lemma.cpp file
gecode/gecode-release-6.2.0/examples/scowl.hpp file
gecode/gecode-release-6.2.0/examples/sports-league.cpp file
gecode/gecode-release-6.2.0/examples/steel-mill.cpp file
gecode/gecode-release-6.2.0/examples/steiner.cpp file
gecode/gecode-release-6.2.0/examples/sudoku-advanced.cpp file
gecode/gecode-release-6.2.0/examples/sudoku-instances.hh file
gecode/gecode-release-6.2.0/examples/sudoku.cpp file
gecode/gecode-release-6.2.0/examples/tsp.cpp file
gecode/gecode-release-6.2.0/examples/warehouses.cpp file
gecode/gecode-release-6.2.0/examples/word-square.cpp file
gecode/gecode-release-6.2.0/gecode directory
gecode/gecode-release-6.2.0/gecode/driver.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc.hh.fix_warnings file
gecode/gecode-release-6.2.0/gecode/float.hh file
gecode/gecode-release-6.2.0/gecode/float.hh.fix_warnings file
gecode/gecode-release-6.2.0/gecode/float.hh.unbundle_boost file
gecode/gecode-release-6.2.0/gecode/gist.hh file
gecode/gecode-release-6.2.0/gecode/int.hh file
gecode/gecode-release-6.2.0/gecode/int.hh.fix_warnings file
gecode/gecode-release-6.2.0/gecode/iter.hh file
gecode/gecode-release-6.2.0/gecode/kernel.hh file
gecode/gecode-release-6.2.0/gecode/minimodel.hh file
gecode/gecode-release-6.2.0/gecode/search.hh file
gecode/gecode-release-6.2.0/gecode/set.hh file
gecode/gecode-release-6.2.0/gecode/set.hh.fix_warnings file
gecode/gecode-release-6.2.0/gecode/support.hh file
gecode/gecode-release-6.2.0/gecode/driver directory
gecode/gecode-release-6.2.0/gecode/driver/options.cpp file
gecode/gecode-release-6.2.0/gecode/driver/options.hpp file
gecode/gecode-release-6.2.0/gecode/driver/script.cpp file
gecode/gecode-release-6.2.0/gecode/driver/script.hpp file
gecode/gecode-release-6.2.0/gecode/flatzinc directory
gecode/gecode-release-6.2.0/gecode/flatzinc/ast.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/branch.hpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/CHANGES file
gecode/gecode-release-6.2.0/gecode/flatzinc/conexpr.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/flatzinc.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/lexer.lxx file
gecode/gecode-release-6.2.0/gecode/flatzinc/lexer.yy.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/option.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.tab.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.tab.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/parser.yxx file
gecode/gecode-release-6.2.0/gecode/flatzinc/plugin.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/registry.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/registry.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/symboltable.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/varspec.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin directory
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.cpp file
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.hh file
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/myplugin.pro file
gecode/gecode-release-6.2.0/gecode/flatzinc/exampleplugin/test_myplugin.fzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib directory
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/all_different_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/all_equal_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/alldifferent_except_0.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/among.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/arg_max_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/arg_max_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/arg_min_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/arg_min_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_least_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_least_set.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_most_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/at_most_set.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing_capa.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/bin_packing_load.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/circuit.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/count.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/cumulative.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/decreasing_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/decreasing_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/diffn.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/disjoint.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/disjunctive_strict.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/distribute.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/exactly_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/exactly_set.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/gecode.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_closed.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/increasing_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/increasing_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/int_set_channel.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/inverse.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/inverse_set.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_less_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_less_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/lex_lesseq_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/link_set_to_booleans.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/maximum_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/member_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/member_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/minimum_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/nvalue.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/partition_set.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/range.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/redefinitions-2.0.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/redefinitions.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/regular.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/roots.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/sort.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/sum_pred.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/table_bool.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/table_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/value_precede_int.mzn file
gecode/gecode-release-6.2.0/gecode/flatzinc/mznlib/value_precede_set.mzn file
gecode/gecode-release-6.2.0/gecode/float directory
gecode/gecode-release-6.2.0/gecode/float/arithmetic.cpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic.hh file
gecode/gecode-release-6.2.0/gecode/float/array-traits.hpp file
gecode/gecode-release-6.2.0/gecode/float/array.cpp file
gecode/gecode-release-6.2.0/gecode/float/array.hpp file
gecode/gecode-release-6.2.0/gecode/float/bool.cpp file
gecode/gecode-release-6.2.0/gecode/float/bool.hh file
gecode/gecode-release-6.2.0/gecode/float/branch.cpp file
gecode/gecode-release-6.2.0/gecode/float/branch.hh file
gecode/gecode-release-6.2.0/gecode/float/branch.hpp file
gecode/gecode-release-6.2.0/gecode/float/channel.cpp file
gecode/gecode-release-6.2.0/gecode/float/channel.hh file
gecode/gecode-release-6.2.0/gecode/float/channel.hpp file
gecode/gecode-release-6.2.0/gecode/float/dom.cpp file
gecode/gecode-release-6.2.0/gecode/float/exception.cpp file
gecode/gecode-release-6.2.0/gecode/float/exception.hpp file
gecode/gecode-release-6.2.0/gecode/float/exec.cpp file
gecode/gecode-release-6.2.0/gecode/float/limits.hpp file
gecode/gecode-release-6.2.0/gecode/float/linear.cpp file
gecode/gecode-release-6.2.0/gecode/float/linear.hh file
gecode/gecode-release-6.2.0/gecode/float/nextafter.hpp file
gecode/gecode-release-6.2.0/gecode/float/num.hpp file
gecode/gecode-release-6.2.0/gecode/float/num.hpp.unbundle_boost file
gecode/gecode-release-6.2.0/gecode/float/rel.cpp file
gecode/gecode-release-6.2.0/gecode/float/rel.hh file
gecode/gecode-release-6.2.0/gecode/float/relax.cpp file
gecode/gecode-release-6.2.0/gecode/float/rounding.cpp file
gecode/gecode-release-6.2.0/gecode/float/rounding.hpp file
gecode/gecode-release-6.2.0/gecode/float/trace.cpp file
gecode/gecode-release-6.2.0/gecode/float/trace.hpp file
gecode/gecode-release-6.2.0/gecode/float/transcendental.cpp file
gecode/gecode-release-6.2.0/gecode/float/transcendental.hh file
gecode/gecode-release-6.2.0/gecode/float/trigonometric.cpp file
gecode/gecode-release-6.2.0/gecode/float/trigonometric.hh file
gecode/gecode-release-6.2.0/gecode/float/val.hpp file
gecode/gecode-release-6.2.0/gecode/float/val.hpp.unbundle_boost file
gecode/gecode-release-6.2.0/gecode/float/var-imp.hpp file
gecode/gecode-release-6.2.0/gecode/float/view.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic directory
gecode/gecode-release-6.2.0/gecode/float/arithmetic/abs.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic/div.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic/min-max.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic/mult.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic/pow-nroot.hpp file
gecode/gecode-release-6.2.0/gecode/float/arithmetic/sqr-sqrt.hpp file
gecode/gecode-release-6.2.0/gecode/float/bool directory
gecode/gecode-release-6.2.0/gecode/float/bool/ite.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch directory
gecode/gecode-release-6.2.0/gecode/float/branch/action.cpp file
gecode/gecode-release-6.2.0/gecode/float/branch/action.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/afc.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/assign.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/chb.cpp file
gecode/gecode-release-6.2.0/gecode/float/branch/chb.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/merit.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/traits.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/val-commit.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/val-sel-commit.cpp file
gecode/gecode-release-6.2.0/gecode/float/branch/val-sel.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/val.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/var.hpp file
gecode/gecode-release-6.2.0/gecode/float/branch/view-sel.cpp file
gecode/gecode-release-6.2.0/gecode/float/channel directory
gecode/gecode-release-6.2.0/gecode/float/channel/channel.hpp file
gecode/gecode-release-6.2.0/gecode/float/linear directory
gecode/gecode-release-6.2.0/gecode/float/linear/nary.hpp file
gecode/gecode-release-6.2.0/gecode/float/linear/post.cpp file
gecode/gecode-release-6.2.0/gecode/float/rel directory
gecode/gecode-release-6.2.0/gecode/float/rel/eq.hpp file
gecode/gecode-release-6.2.0/gecode/float/rel/lq-le.hpp file
gecode/gecode-release-6.2.0/gecode/float/rel/nq.hpp file
gecode/gecode-release-6.2.0/gecode/float/trace directory
gecode/gecode-release-6.2.0/gecode/float/trace/delta.hpp file
gecode/gecode-release-6.2.0/gecode/float/trace/trace-view.hpp file
gecode/gecode-release-6.2.0/gecode/float/trace/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/float/trace/traits.hpp file
gecode/gecode-release-6.2.0/gecode/float/transcendental directory
gecode/gecode-release-6.2.0/gecode/float/transcendental/exp-log.hpp file
gecode/gecode-release-6.2.0/gecode/float/trigonometric directory
gecode/gecode-release-6.2.0/gecode/float/trigonometric/asinacos.hpp file
gecode/gecode-release-6.2.0/gecode/float/trigonometric/sincos.hpp file
gecode/gecode-release-6.2.0/gecode/float/trigonometric/tanatan.hpp file
gecode/gecode-release-6.2.0/gecode/float/var directory
gecode/gecode-release-6.2.0/gecode/float/var/float.cpp file
gecode/gecode-release-6.2.0/gecode/float/var/float.hpp file
gecode/gecode-release-6.2.0/gecode/float/var/print.hpp file
gecode/gecode-release-6.2.0/gecode/float/var-imp directory
gecode/gecode-release-6.2.0/gecode/float/var-imp/delta.hpp file
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.cpp file
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.hpp file
gecode/gecode-release-6.2.0/gecode/float/var-imp/float.vis file
gecode/gecode-release-6.2.0/gecode/float/view directory
gecode/gecode-release-6.2.0/gecode/float/view/float.hpp file
gecode/gecode-release-6.2.0/gecode/float/view/minus.hpp file
gecode/gecode-release-6.2.0/gecode/float/view/offset.hpp file
gecode/gecode-release-6.2.0/gecode/float/view/print.hpp file
gecode/gecode-release-6.2.0/gecode/float/view/rel-test.hpp file
gecode/gecode-release-6.2.0/gecode/float/view/scale.hpp file
gecode/gecode-release-6.2.0/gecode/gist directory
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.cpp file
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.hh file
gecode/gecode-release-6.2.0/gecode/gist/drawingcursor.hpp file
gecode/gecode-release-6.2.0/gecode/gist/gecodelogo.cpp file
gecode/gecode-release-6.2.0/gecode/gist/gecodelogo.hh file
gecode/gecode-release-6.2.0/gecode/gist/gist.cpp file
gecode/gecode-release-6.2.0/gecode/gist/gist.hpp file
gecode/gecode-release-6.2.0/gecode/gist/layoutcursor.hh file
gecode/gecode-release-6.2.0/gecode/gist/layoutcursor.hpp file
gecode/gecode-release-6.2.0/gecode/gist/mainwindow.cpp file
gecode/gecode-release-6.2.0/gecode/gist/mainwindow.hh file
gecode/gecode-release-6.2.0/gecode/gist/node.cpp file
gecode/gecode-release-6.2.0/gecode/gist/node.hh file
gecode/gecode-release-6.2.0/gecode/gist/node.hpp file
gecode/gecode-release-6.2.0/gecode/gist/nodecursor.hh file
gecode/gecode-release-6.2.0/gecode/gist/nodecursor.hpp file
gecode/gecode-release-6.2.0/gecode/gist/nodestats.cpp file
gecode/gecode-release-6.2.0/gecode/gist/nodestats.hh file
gecode/gecode-release-6.2.0/gecode/gist/nodevisitor.hh file
gecode/gecode-release-6.2.0/gecode/gist/nodevisitor.hpp file
gecode/gecode-release-6.2.0/gecode/gist/nodewidget.cpp file
gecode/gecode-release-6.2.0/gecode/gist/nodewidget.hh file
gecode/gecode-release-6.2.0/gecode/gist/preferences.cpp file
gecode/gecode-release-6.2.0/gecode/gist/preferences.hh file
gecode/gecode-release-6.2.0/gecode/gist/qtgist.cpp file
gecode/gecode-release-6.2.0/gecode/gist/qtgist.hh file
gecode/gecode-release-6.2.0/gecode/gist/spacenode.cpp file
gecode/gecode-release-6.2.0/gecode/gist/spacenode.hh file
gecode/gecode-release-6.2.0/gecode/gist/spacenode.hpp file
gecode/gecode-release-6.2.0/gecode/gist/stopbrancher.cpp file
gecode/gecode-release-6.2.0/gecode/gist/stopbrancher.hh file
gecode/gecode-release-6.2.0/gecode/gist/textoutput.cpp file
gecode/gecode-release-6.2.0/gecode/gist/textoutput.hh file
gecode/gecode-release-6.2.0/gecode/gist/treecanvas.cpp file
gecode/gecode-release-6.2.0/gecode/gist/treecanvas.hh file
gecode/gecode-release-6.2.0/gecode/gist/visualnode.cpp file
gecode/gecode-release-6.2.0/gecode/gist/visualnode.hh file
gecode/gecode-release-6.2.0/gecode/gist/visualnode.hpp file
gecode/gecode-release-6.2.0/gecode/gist/zoomToFitIcon.hpp file
gecode/gecode-release-6.2.0/gecode/gist/standalone-example directory
gecode/gecode-release-6.2.0/gecode/gist/standalone-example/mygist.cpp file
gecode/gecode-release-6.2.0/gecode/gist/standalone-example/standalone_example.pro file
gecode/gecode-release-6.2.0/gecode/int directory
gecode/gecode-release-6.2.0/gecode/int/arithmetic.cpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic.hh file
gecode/gecode-release-6.2.0/gecode/int/array-traits.hpp file
gecode/gecode-release-6.2.0/gecode/int/array.cpp file
gecode/gecode-release-6.2.0/gecode/int/array.hpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing.cpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing.hh file
gecode/gecode-release-6.2.0/gecode/int/bool.cpp file
gecode/gecode-release-6.2.0/gecode/int/bool.hh file
gecode/gecode-release-6.2.0/gecode/int/branch.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch.hh file
gecode/gecode-release-6.2.0/gecode/int/branch.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel.cpp file
gecode/gecode-release-6.2.0/gecode/int/channel.hh file
gecode/gecode-release-6.2.0/gecode/int/channel.hpp file
gecode/gecode-release-6.2.0/gecode/int/circuit.cpp file
gecode/gecode-release-6.2.0/gecode/int/circuit.hh file
gecode/gecode-release-6.2.0/gecode/int/count.cpp file
gecode/gecode-release-6.2.0/gecode/int/count.hh file
gecode/gecode-release-6.2.0/gecode/int/cumulative.cpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative.hh file
gecode/gecode-release-6.2.0/gecode/int/cumulatives.cpp file
gecode/gecode-release-6.2.0/gecode/int/cumulatives.hh file
gecode/gecode-release-6.2.0/gecode/int/distinct.cpp file
gecode/gecode-release-6.2.0/gecode/int/distinct.hh file
gecode/gecode-release-6.2.0/gecode/int/div.hh file
gecode/gecode-release-6.2.0/gecode/int/div.hpp file
gecode/gecode-release-6.2.0/gecode/int/dom.cpp file
gecode/gecode-release-6.2.0/gecode/int/dom.hh file
gecode/gecode-release-6.2.0/gecode/int/element.cpp file
gecode/gecode-release-6.2.0/gecode/int/element.hh file
gecode/gecode-release-6.2.0/gecode/int/exception.cpp file
gecode/gecode-release-6.2.0/gecode/int/exception.hpp file
gecode/gecode-release-6.2.0/gecode/int/exec.cpp file
gecode/gecode-release-6.2.0/gecode/int/exec.hh file
gecode/gecode-release-6.2.0/gecode/int/extensional-regular.cpp file
gecode/gecode-release-6.2.0/gecode/int/extensional-tuple-set.cpp file
gecode/gecode-release-6.2.0/gecode/int/extensional.hh file
gecode/gecode-release-6.2.0/gecode/int/extensional.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc.cpp file
gecode/gecode-release-6.2.0/gecode/int/gcc.hh file
gecode/gecode-release-6.2.0/gecode/int/idx-view.hh file
gecode/gecode-release-6.2.0/gecode/int/idx-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/int-set-1.hpp file
gecode/gecode-release-6.2.0/gecode/int/int-set-2.hpp file
gecode/gecode-release-6.2.0/gecode/int/int-set.cpp file
gecode/gecode-release-6.2.0/gecode/int/ipl.hpp file
gecode/gecode-release-6.2.0/gecode/int/irt.hpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb.cpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb.hh file
gecode/gecode-release-6.2.0/gecode/int/limits.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear-bool.cpp file
gecode/gecode-release-6.2.0/gecode/int/linear-int.cpp file
gecode/gecode-release-6.2.0/gecode/int/linear.hh file
gecode/gecode-release-6.2.0/gecode/int/member.cpp file
gecode/gecode-release-6.2.0/gecode/int/member.hh file
gecode/gecode-release-6.2.0/gecode/int/no-overlap.cpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap.hh file
gecode/gecode-release-6.2.0/gecode/int/nvalues.cpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues.hh file
gecode/gecode-release-6.2.0/gecode/int/order.cpp file
gecode/gecode-release-6.2.0/gecode/int/order.hh file
gecode/gecode-release-6.2.0/gecode/int/precede.cpp file
gecode/gecode-release-6.2.0/gecode/int/precede.hh file
gecode/gecode-release-6.2.0/gecode/int/propagator.hpp file
gecode/gecode-release-6.2.0/gecode/int/reify.hpp file
gecode/gecode-release-6.2.0/gecode/int/rel.cpp file
gecode/gecode-release-6.2.0/gecode/int/rel.hh file
gecode/gecode-release-6.2.0/gecode/int/relax.cpp file
gecode/gecode-release-6.2.0/gecode/int/sequence.cpp file
gecode/gecode-release-6.2.0/gecode/int/sequence.hh file
gecode/gecode-release-6.2.0/gecode/int/sorted.cpp file
gecode/gecode-release-6.2.0/gecode/int/sorted.hh file
gecode/gecode-release-6.2.0/gecode/int/support-values.hh file
gecode/gecode-release-6.2.0/gecode/int/support-values.hpp file
gecode/gecode-release-6.2.0/gecode/int/task.hh file
gecode/gecode-release-6.2.0/gecode/int/trace.cpp file
gecode/gecode-release-6.2.0/gecode/int/trace.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary.cpp file
gecode/gecode-release-6.2.0/gecode/int/unary.hh file
gecode/gecode-release-6.2.0/gecode/int/unshare.cpp file
gecode/gecode-release-6.2.0/gecode/int/val-set.hh file
gecode/gecode-release-6.2.0/gecode/int/val-set.hpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph.hh file
gecode/gecode-release-6.2.0/gecode/int/view.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic directory
gecode/gecode-release-6.2.0/gecode/int/arithmetic/abs.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/argmax.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/divmod.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/max.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/mult.cpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/mult.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/nroot.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/pow-ops.hpp file
gecode/gecode-release-6.2.0/gecode/int/arithmetic/pow.hpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing directory
gecode/gecode-release-6.2.0/gecode/int/bin-packing/conflict-graph.cpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing/conflict-graph.hpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing/propagate.cpp file
gecode/gecode-release-6.2.0/gecode/int/bin-packing/propagate.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool directory
gecode/gecode-release-6.2.0/gecode/int/bool/base.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/clause.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/eqv.cpp file
gecode/gecode-release-6.2.0/gecode/int/bool/eqv.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/ite.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/lq.hpp file
gecode/gecode-release-6.2.0/gecode/int/bool/or.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch directory
gecode/gecode-release-6.2.0/gecode/int/branch/action.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch/action.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/afc.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/assign.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/cbs.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/chb.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch/chb.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/merit.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/ngl.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/traits.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/val-commit.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/val-sel-commit.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch/val-sel.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/var.hpp file
gecode/gecode-release-6.2.0/gecode/int/branch/view-sel.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch/view-values.cpp file
gecode/gecode-release-6.2.0/gecode/int/branch/view-values.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel directory
gecode/gecode-release-6.2.0/gecode/int/channel/base.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel/dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel/link-multi.cpp file
gecode/gecode-release-6.2.0/gecode/int/channel/link-multi.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel/link-single.cpp file
gecode/gecode-release-6.2.0/gecode/int/channel/link-single.hpp file
gecode/gecode-release-6.2.0/gecode/int/channel/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/circuit directory
gecode/gecode-release-6.2.0/gecode/int/circuit/base.hpp file
gecode/gecode-release-6.2.0/gecode/int/circuit/dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/circuit/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/count directory
gecode/gecode-release-6.2.0/gecode/int/count/int-base.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/int-eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/int-gq.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/int-lq.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/rel.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/view-base.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/view-eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/view-gq.hpp file
gecode/gecode-release-6.2.0/gecode/int/count/view-lq.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative directory
gecode/gecode-release-6.2.0/gecode/int/cumulative/edge-finding.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/limits.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/man-prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/opt-prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/overload.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/post.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/subsumption.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/task-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/task.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/time-tabling.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulative/tree.hpp file
gecode/gecode-release-6.2.0/gecode/int/cumulatives directory
gecode/gecode-release-6.2.0/gecode/int/cumulatives/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct directory
gecode/gecode-release-6.2.0/gecode/int/distinct/bnd.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/cbs.cpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/cbs.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/dom-ctrl.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/eqite.cpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/eqite.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/graph.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/ter-dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/distinct/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/dom directory
gecode/gecode-release-6.2.0/gecode/int/dom/range.hpp file
gecode/gecode-release-6.2.0/gecode/int/dom/set.hpp file
gecode/gecode-release-6.2.0/gecode/int/element directory
gecode/gecode-release-6.2.0/gecode/int/element/int.hpp file
gecode/gecode-release-6.2.0/gecode/int/element/pair.cpp file
gecode/gecode-release-6.2.0/gecode/int/element/pair.hpp file
gecode/gecode-release-6.2.0/gecode/int/element/view.hpp file
gecode/gecode-release-6.2.0/gecode/int/exec directory
gecode/gecode-release-6.2.0/gecode/int/exec/when.cpp file
gecode/gecode-release-6.2.0/gecode/int/exec/when.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional directory
gecode/gecode-release-6.2.0/gecode/int/extensional/bit-set.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/compact.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/dfa.cpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/dfa.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/layered-graph.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/tiny-bit-set.hpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/tuple-set.cpp file
gecode/gecode-release-6.2.0/gecode/int/extensional/tuple-set.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc directory
gecode/gecode-release-6.2.0/gecode/int/gcc/bnd-sup.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/bnd.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/dom-sup.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/post.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/val.hpp file
gecode/gecode-release-6.2.0/gecode/int/gcc/view.hpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb directory
gecode/gecode-release-6.2.0/gecode/int/ldsb/brancher.hpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-imp.cpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-imp.hpp file
gecode/gecode-release-6.2.0/gecode/int/ldsb/sym-obj.cpp file
gecode/gecode-release-6.2.0/gecode/int/linear directory
gecode/gecode-release-6.2.0/gecode/int/linear/bool-int.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/bool-post.cpp file
gecode/gecode-release-6.2.0/gecode/int/linear/bool-scale.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/bool-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-bin.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-dom.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-nary.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-noview.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-post.cpp file
gecode/gecode-release-6.2.0/gecode/int/linear/int-ter.hpp file
gecode/gecode-release-6.2.0/gecode/int/linear/post.hpp file
gecode/gecode-release-6.2.0/gecode/int/member directory
gecode/gecode-release-6.2.0/gecode/int/member/prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/member/re-prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap directory
gecode/gecode-release-6.2.0/gecode/int/no-overlap/base.hpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap/box.hpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap/dim.hpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap/man.hpp file
gecode/gecode-release-6.2.0/gecode/int/no-overlap/opt.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues directory
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-base.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-gq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/bool-lq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/graph.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-base.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-gq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/int-lq.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/range-event.hpp file
gecode/gecode-release-6.2.0/gecode/int/nvalues/sym-bit-matrix.hpp file
gecode/gecode-release-6.2.0/gecode/int/order directory
gecode/gecode-release-6.2.0/gecode/int/order/propagate.cpp file
gecode/gecode-release-6.2.0/gecode/int/order/propagate.hpp file
gecode/gecode-release-6.2.0/gecode/int/precede directory
gecode/gecode-release-6.2.0/gecode/int/precede/single.hpp file
gecode/gecode-release-6.2.0/gecode/int/rel directory
gecode/gecode-release-6.2.0/gecode/int/rel/eq.hpp file
gecode/gecode-release-6.2.0/gecode/int/rel/lex.hpp file
gecode/gecode-release-6.2.0/gecode/int/rel/lq-le.hpp file
gecode/gecode-release-6.2.0/gecode/int/rel/nq.hpp file
gecode/gecode-release-6.2.0/gecode/int/sequence directory
gecode/gecode-release-6.2.0/gecode/int/sequence/int.hpp file
gecode/gecode-release-6.2.0/gecode/int/sequence/set-op.hpp file
gecode/gecode-release-6.2.0/gecode/int/sequence/view.hpp file
gecode/gecode-release-6.2.0/gecode/int/sequence/violations.hpp file
gecode/gecode-release-6.2.0/gecode/int/sorted directory
gecode/gecode-release-6.2.0/gecode/int/sorted/matching.hpp file
gecode/gecode-release-6.2.0/gecode/int/sorted/narrowing.hpp file
gecode/gecode-release-6.2.0/gecode/int/sorted/order.hpp file
gecode/gecode-release-6.2.0/gecode/int/sorted/propagate.hpp file
gecode/gecode-release-6.2.0/gecode/int/sorted/sortsup.hpp file
gecode/gecode-release-6.2.0/gecode/int/task directory
gecode/gecode-release-6.2.0/gecode/int/task/array.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/event.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/fwd-to-bwd.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/iter.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/man-to-opt.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/purge.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/sort.hpp file
gecode/gecode-release-6.2.0/gecode/int/task/tree.hpp file
gecode/gecode-release-6.2.0/gecode/int/trace directory
gecode/gecode-release-6.2.0/gecode/int/trace/bool-delta.hpp file
gecode/gecode-release-6.2.0/gecode/int/trace/bool-trace-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/trace/int-delta.hpp file
gecode/gecode-release-6.2.0/gecode/int/trace/int-trace-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/trace/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/int/trace/traits.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary directory
gecode/gecode-release-6.2.0/gecode/int/unary/detectable.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/edge-finding.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/man-prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/not-first-not-last.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/opt-prop.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/overload.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/post.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/subsumption.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/task-view.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/task.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/time-tabling.hpp file
gecode/gecode-release-6.2.0/gecode/int/unary/tree.hpp file
gecode/gecode-release-6.2.0/gecode/int/var directory
gecode/gecode-release-6.2.0/gecode/int/var/bool.cpp file
gecode/gecode-release-6.2.0/gecode/int/var/bool.hpp file
gecode/gecode-release-6.2.0/gecode/int/var/int.cpp file
gecode/gecode-release-6.2.0/gecode/int/var/int.hpp file
gecode/gecode-release-6.2.0/gecode/int/var/print.hpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp directory
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.cpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.hpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp/bool.vis file
gecode/gecode-release-6.2.0/gecode/int/var-imp/delta.hpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.cpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.hpp file
gecode/gecode-release-6.2.0/gecode/int/var-imp/int.vis file
gecode/gecode-release-6.2.0/gecode/int/view directory
gecode/gecode-release-6.2.0/gecode/int/view/bool-test.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/bool.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/cached.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/constint.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/int.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/iter.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/minus.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/neg-bool.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/offset.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/print.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/rel-test.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/scale.hpp file
gecode/gecode-release-6.2.0/gecode/int/view/zero.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph directory
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/bi-link.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/comb-ptr-flag.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/edge.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/graph.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/iter-prune-val.hpp file
gecode/gecode-release-6.2.0/gecode/int/view-val-graph/node.hpp file
gecode/gecode-release-6.2.0/gecode/iter directory
gecode/gecode-release-6.2.0/gecode/iter/ranges-add.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-append.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-array.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-cache.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-compl.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-diff.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-empty.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-inter.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-list.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-map.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-minmax.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-minus.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-negative.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-offset.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-operations.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-positive.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-rangelist.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-scale.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-singleton-append.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-singleton.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-size.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-union.hpp file
gecode/gecode-release-6.2.0/gecode/iter/ranges-values.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-array.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-bitset.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-bitsetoffset.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-inter.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-list.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-map.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-minus.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-negative.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-offset.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-positive.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-ranges.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-singleton.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-union.hpp file
gecode/gecode-release-6.2.0/gecode/iter/values-unique.hpp file
gecode/gecode-release-6.2.0/gecode/kernel directory
gecode/gecode-release-6.2.0/gecode/kernel/archive.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/archive.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/core.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/core.cpp.fix_warnings file
gecode/gecode-release-6.2.0/gecode/kernel/core.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/core.hpp.fix_warnings file
gecode/gecode-release-6.2.0/gecode/kernel/exception.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/exception.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/gpi.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/gpi.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/macros.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/modevent.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/range-list.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/shared-object.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/shared-space-data.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/var-imp.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/var-type.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/var.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/view.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch directory
gecode/gecode-release-6.2.0/gecode/kernel/branch/action.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/action.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/afc.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/afc.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/chb.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/chb.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/filter.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/function.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/merit.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/print.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/tiebreak.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/traits.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-commit.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-sel-commit.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/val-sel.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/val.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/var.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/view-sel.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/view-val.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/branch/view.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/data directory
gecode/gecode-release-6.2.0/gecode/kernel/data/array.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/data/array.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/data/array.hpp.fix_warnings file
gecode/gecode-release-6.2.0/gecode/kernel/data/rnd.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/data/rnd.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-array.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-array.hpp.fix_warnings file
gecode/gecode-release-6.2.0/gecode/kernel/data/shared-data.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory directory
gecode/gecode-release-6.2.0/gecode/kernel/memory/allocators.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory/config.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory/manager.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory/manager.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory/region.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/memory/region.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/propagator directory
gecode/gecode-release-6.2.0/gecode/kernel/propagator/advisor.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/propagator/pattern.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/propagator/subscribed.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/propagator/wait.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace directory
gecode/gecode-release-6.2.0/gecode/kernel/trace/filter.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/filter.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/general.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/general.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/print.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/recorder.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/recorder.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/tracer.hpp file
gecode/gecode-release-6.2.0/gecode/kernel/trace/traits.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel directory
gecode/gecode-release-6.2.0/gecode/minimodel/aliases.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/bool-expr.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/bool-expr.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/channel.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/dom.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/exception.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/exception.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/float-arith.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/float-expr.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/float-expr.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/float-rel.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/float-rel.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/int-arith.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/int-expr.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/int-expr.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/int-rel.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/int-rel.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/ipl.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/ipl.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/ldsb.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/matrix.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/optimize.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/optimize.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/reg.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/reg.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/set-expr.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/set-expr.hpp file
gecode/gecode-release-6.2.0/gecode/minimodel/set-rel.cpp file
gecode/gecode-release-6.2.0/gecode/minimodel/set-rel.hpp file
gecode/gecode-release-6.2.0/gecode/search directory
gecode/gecode-release-6.2.0/gecode/search/bab.cpp file
gecode/gecode-release-6.2.0/gecode/search/bab.hpp file
gecode/gecode-release-6.2.0/gecode/search/base.hpp file
gecode/gecode-release-6.2.0/gecode/search/build.hpp file
gecode/gecode-release-6.2.0/gecode/search/cutoff.cpp file
gecode/gecode-release-6.2.0/gecode/search/cutoff.hpp file
gecode/gecode-release-6.2.0/gecode/search/dfs.cpp file
gecode/gecode-release-6.2.0/gecode/search/dfs.hpp file
gecode/gecode-release-6.2.0/gecode/search/engine.cpp file
gecode/gecode-release-6.2.0/gecode/search/engine.hpp file
gecode/gecode-release-6.2.0/gecode/search/exception.cpp file
gecode/gecode-release-6.2.0/gecode/search/exception.hpp file
gecode/gecode-release-6.2.0/gecode/search/lds.cpp file
gecode/gecode-release-6.2.0/gecode/search/lds.hpp file
gecode/gecode-release-6.2.0/gecode/search/nogoods.cpp file
gecode/gecode-release-6.2.0/gecode/search/nogoods.hh file
gecode/gecode-release-6.2.0/gecode/search/nogoods.hpp file
gecode/gecode-release-6.2.0/gecode/search/options.cpp file
gecode/gecode-release-6.2.0/gecode/search/options.hpp file
gecode/gecode-release-6.2.0/gecode/search/pbs.cpp file
gecode/gecode-release-6.2.0/gecode/search/pbs.hpp file
gecode/gecode-release-6.2.0/gecode/search/rbs.cpp file
gecode/gecode-release-6.2.0/gecode/search/rbs.hpp file
gecode/gecode-release-6.2.0/gecode/search/relax.hh file
gecode/gecode-release-6.2.0/gecode/search/sebs.hpp file
gecode/gecode-release-6.2.0/gecode/search/statistics.hpp file
gecode/gecode-release-6.2.0/gecode/search/stop.cpp file
gecode/gecode-release-6.2.0/gecode/search/stop.hpp file
gecode/gecode-release-6.2.0/gecode/search/support.hh file
gecode/gecode-release-6.2.0/gecode/search/trace-recorder.hpp file
gecode/gecode-release-6.2.0/gecode/search/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/search/tracer.hpp file
gecode/gecode-release-6.2.0/gecode/search/traits.hpp file
gecode/gecode-release-6.2.0/gecode/search/worker.hh file
gecode/gecode-release-6.2.0/gecode/search/cpprofiler directory
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/connector.hpp file
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/message.hpp file
gecode/gecode-release-6.2.0/gecode/search/cpprofiler/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/search/par directory
gecode/gecode-release-6.2.0/gecode/search/par/bab.hh file
gecode/gecode-release-6.2.0/gecode/search/par/bab.hpp file
gecode/gecode-release-6.2.0/gecode/search/par/dfs.hh file
gecode/gecode-release-6.2.0/gecode/search/par/dfs.hpp file
gecode/gecode-release-6.2.0/gecode/search/par/engine.hh file
gecode/gecode-release-6.2.0/gecode/search/par/engine.hpp file
gecode/gecode-release-6.2.0/gecode/search/par/path.hh file
gecode/gecode-release-6.2.0/gecode/search/par/path.hpp file
gecode/gecode-release-6.2.0/gecode/search/par/pbs.cpp file
gecode/gecode-release-6.2.0/gecode/search/par/pbs.hh file
gecode/gecode-release-6.2.0/gecode/search/par/pbs.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq directory
gecode/gecode-release-6.2.0/gecode/search/seq/bab.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/bab.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq/dead.cpp file
gecode/gecode-release-6.2.0/gecode/search/seq/dead.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/dfs.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/dfs.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq/lds.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/lds.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq/path.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/path.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.cpp file
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hh.fix_warnings file
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hpp file
gecode/gecode-release-6.2.0/gecode/search/seq/pbs.hpp.fix_warnings file
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.cpp file
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.hh file
gecode/gecode-release-6.2.0/gecode/search/seq/rbs.hpp file
gecode/gecode-release-6.2.0/gecode/set directory
gecode/gecode-release-6.2.0/gecode/set/array-traits.hpp file
gecode/gecode-release-6.2.0/gecode/set/array.cpp file
gecode/gecode-release-6.2.0/gecode/set/array.hpp file
gecode/gecode-release-6.2.0/gecode/set/bool.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch.hh file
gecode/gecode-release-6.2.0/gecode/set/branch.hpp file
gecode/gecode-release-6.2.0/gecode/set/cardinality.cpp file
gecode/gecode-release-6.2.0/gecode/set/channel.cpp file
gecode/gecode-release-6.2.0/gecode/set/channel.hh file
gecode/gecode-release-6.2.0/gecode/set/convex.cpp file
gecode/gecode-release-6.2.0/gecode/set/convex.hh file
gecode/gecode-release-6.2.0/gecode/set/distinct.cpp file
gecode/gecode-release-6.2.0/gecode/set/distinct.hh file
gecode/gecode-release-6.2.0/gecode/set/dom.cpp file
gecode/gecode-release-6.2.0/gecode/set/element.cpp file
gecode/gecode-release-6.2.0/gecode/set/element.hh file
gecode/gecode-release-6.2.0/gecode/set/exception.cpp file
gecode/gecode-release-6.2.0/gecode/set/exception.hpp file
gecode/gecode-release-6.2.0/gecode/set/exec.cpp file
gecode/gecode-release-6.2.0/gecode/set/int.cpp file
gecode/gecode-release-6.2.0/gecode/set/int.hh file
gecode/gecode-release-6.2.0/gecode/set/int.hpp file
gecode/gecode-release-6.2.0/gecode/set/ldsb.cpp file
gecode/gecode-release-6.2.0/gecode/set/ldsb.hh file
gecode/gecode-release-6.2.0/gecode/set/limits.hpp file
gecode/gecode-release-6.2.0/gecode/set/precede.cpp file
gecode/gecode-release-6.2.0/gecode/set/precede.hh file
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-cvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-cvv.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vcc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vcv.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-const-vvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-singleton.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op-ternary.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op.hh file
gecode/gecode-release-6.2.0/gecode/set/rel.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel.hh file
gecode/gecode-release-6.2.0/gecode/set/relax.cpp file
gecode/gecode-release-6.2.0/gecode/set/sequence.cpp file
gecode/gecode-release-6.2.0/gecode/set/sequence.hh file
gecode/gecode-release-6.2.0/gecode/set/trace.cpp file
gecode/gecode-release-6.2.0/gecode/set/trace.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp.hpp file
gecode/gecode-release-6.2.0/gecode/set/view.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch directory
gecode/gecode-release-6.2.0/gecode/set/branch/action.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch/action.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/afc.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/assign.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/chb.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch/chb.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/merit.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/ngl.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch/ngl.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/traits.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/val-commit.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/val-sel-commit.cpp file
gecode/gecode-release-6.2.0/gecode/set/branch/val-sel.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/val.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/var.hpp file
gecode/gecode-release-6.2.0/gecode/set/branch/view-sel.cpp file
gecode/gecode-release-6.2.0/gecode/set/channel directory
gecode/gecode-release-6.2.0/gecode/set/channel/bool.hpp file
gecode/gecode-release-6.2.0/gecode/set/channel/int.hpp file
gecode/gecode-release-6.2.0/gecode/set/channel/set.hpp file
gecode/gecode-release-6.2.0/gecode/set/channel/sorted.hpp file
gecode/gecode-release-6.2.0/gecode/set/convex directory
gecode/gecode-release-6.2.0/gecode/set/convex/conv.cpp file
gecode/gecode-release-6.2.0/gecode/set/convex/conv.hpp file
gecode/gecode-release-6.2.0/gecode/set/convex/hull.cpp file
gecode/gecode-release-6.2.0/gecode/set/convex/hull.hpp file
gecode/gecode-release-6.2.0/gecode/set/distinct directory
gecode/gecode-release-6.2.0/gecode/set/distinct/atmostOne.cpp file
gecode/gecode-release-6.2.0/gecode/set/distinct/atmostOne.hpp file
gecode/gecode-release-6.2.0/gecode/set/element directory
gecode/gecode-release-6.2.0/gecode/set/element/disjoint.hpp file
gecode/gecode-release-6.2.0/gecode/set/element/inter.hpp file
gecode/gecode-release-6.2.0/gecode/set/element/union.hpp file
gecode/gecode-release-6.2.0/gecode/set/element/unionConst.hpp file
gecode/gecode-release-6.2.0/gecode/set/int directory
gecode/gecode-release-6.2.0/gecode/set/int/card.hpp file
gecode/gecode-release-6.2.0/gecode/set/int/minmax.hpp file
gecode/gecode-release-6.2.0/gecode/set/int/weights.hpp file
gecode/gecode-release-6.2.0/gecode/set/ldsb directory
gecode/gecode-release-6.2.0/gecode/set/ldsb/brancher.hpp file
gecode/gecode-release-6.2.0/gecode/set/ldsb/sym-imp.cpp file
gecode/gecode-release-6.2.0/gecode/set/precede directory
gecode/gecode-release-6.2.0/gecode/set/precede/single.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel directory
gecode/gecode-release-6.2.0/gecode/set/rel/common.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/eq.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/lq.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/nosubset.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/nq.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/re-eq.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/re-lq.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/re-subset.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel/subset.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op directory
gecode/gecode-release-6.2.0/gecode/set/rel-op/common.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/inter.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/partition.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-cvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-cvv.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl-vvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-compl.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-cvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-cvv.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl-vvc.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post-nocompl.cpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/post.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/subofunion.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/superofinter.hpp file
gecode/gecode-release-6.2.0/gecode/set/rel-op/union.hpp file
gecode/gecode-release-6.2.0/gecode/set/sequence directory
gecode/gecode-release-6.2.0/gecode/set/sequence/common.hpp file
gecode/gecode-release-6.2.0/gecode/set/sequence/seq-u.cpp file
gecode/gecode-release-6.2.0/gecode/set/sequence/seq-u.hpp file
gecode/gecode-release-6.2.0/gecode/set/sequence/seq.cpp file
gecode/gecode-release-6.2.0/gecode/set/sequence/seq.hpp file
gecode/gecode-release-6.2.0/gecode/set/trace directory
gecode/gecode-release-6.2.0/gecode/set/trace/delta.hpp file
gecode/gecode-release-6.2.0/gecode/set/trace/trace-view.hpp file
gecode/gecode-release-6.2.0/gecode/set/trace/tracer.cpp file
gecode/gecode-release-6.2.0/gecode/set/trace/traits.hpp file
gecode/gecode-release-6.2.0/gecode/set/var directory
gecode/gecode-release-6.2.0/gecode/set/var/print.hpp file
gecode/gecode-release-6.2.0/gecode/set/var/set.cpp file
gecode/gecode-release-6.2.0/gecode/set/var/set.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp directory
gecode/gecode-release-6.2.0/gecode/set/var-imp/delta.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/integerset.cpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/integerset.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/iter.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.cpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.hpp file
gecode/gecode-release-6.2.0/gecode/set/var-imp/set.vis file
gecode/gecode-release-6.2.0/gecode/set/view directory
gecode/gecode-release-6.2.0/gecode/set/view/cached.hpp file
gecode/gecode-release-6.2.0/gecode/set/view/complement.hpp file
gecode/gecode-release-6.2.0/gecode/set/view/const.hpp file
gecode/gecode-release-6.2.0/gecode/set/view/print.hpp file
gecode/gecode-release-6.2.0/gecode/set/view/set.hpp file
gecode/gecode-release-6.2.0/gecode/set/view/singleton.hpp file
gecode/gecode-release-6.2.0/gecode/support directory
gecode/gecode-release-6.2.0/gecode/support/allocator.cpp file
gecode/gecode-release-6.2.0/gecode/support/allocator.hpp file
gecode/gecode-release-6.2.0/gecode/support/auto-link.hpp file
gecode/gecode-release-6.2.0/gecode/support/bitset-base.hpp file
gecode/gecode-release-6.2.0/gecode/support/bitset-offset.hpp file
gecode/gecode-release-6.2.0/gecode/support/bitset.hpp file
gecode/gecode-release-6.2.0/gecode/support/block-allocator.hpp file
gecode/gecode-release-6.2.0/gecode/support/cast.hpp file
gecode/gecode-release-6.2.0/gecode/support/config.hpp.in file
gecode/gecode-release-6.2.0/gecode/support/dynamic-array.hpp file
gecode/gecode-release-6.2.0/gecode/support/dynamic-queue.hpp file
gecode/gecode-release-6.2.0/gecode/support/dynamic-stack.hpp file
gecode/gecode-release-6.2.0/gecode/support/exception.cpp file
gecode/gecode-release-6.2.0/gecode/support/exception.hpp file
gecode/gecode-release-6.2.0/gecode/support/hash.hpp file
gecode/gecode-release-6.2.0/gecode/support/heap.cpp file
gecode/gecode-release-6.2.0/gecode/support/heap.hpp file
gecode/gecode-release-6.2.0/gecode/support/hw-rnd.cpp file
gecode/gecode-release-6.2.0/gecode/support/hw-rnd.hpp file
gecode/gecode-release-6.2.0/gecode/support/int-type.hpp file
gecode/gecode-release-6.2.0/gecode/support/macros.hpp file
gecode/gecode-release-6.2.0/gecode/support/macros.hpp.builtin_unreachable file
gecode/gecode-release-6.2.0/gecode/support/marked-pointer.hpp file
gecode/gecode-release-6.2.0/gecode/support/random.hpp file
gecode/gecode-release-6.2.0/gecode/support/ref-count.hpp file
gecode/gecode-release-6.2.0/gecode/support/run-jobs.hpp file
gecode/gecode-release-6.2.0/gecode/support/sort.hpp file
gecode/gecode-release-6.2.0/gecode/support/static-stack.hpp file
gecode/gecode-release-6.2.0/gecode/support/thread.hpp file
gecode/gecode-release-6.2.0/gecode/support/timer.hpp file
gecode/gecode-release-6.2.0/gecode/support/thread directory
gecode/gecode-release-6.2.0/gecode/support/thread/none.hpp file
gecode/gecode-release-6.2.0/gecode/support/thread/pthreads.cpp file
gecode/gecode-release-6.2.0/gecode/support/thread/pthreads.hpp file
gecode/gecode-release-6.2.0/gecode/support/thread/thread.cpp file
gecode/gecode-release-6.2.0/gecode/support/thread/thread.hpp file
gecode/gecode-release-6.2.0/gecode/support/thread/windows.cpp file
gecode/gecode-release-6.2.0/gecode/support/thread/windows.hpp file
gecode/gecode-release-6.2.0/gecode/third-party directory
gecode/gecode-release-6.2.0/gecode/third-party/boost directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/extract.perl file
gecode/gecode-release-6.2.0/gecode/third-party/boost/LICENSE_1_0.txt file
gecode/gecode-release-6.2.0/gecode/third-party/boost/limits.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/non_type.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/patch.txt file
gecode/gecode-release-6.2.0/gecode/third-party/boost/type.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi_prefix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi_suffix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/posix_features.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_compiler_config.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_platform_config.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/select_stdlib_config.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/suffix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/user.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/borland_prefix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/borland_suffix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/msvc_prefix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/abi/msvc_suffix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/borland.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/clang.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/codegear.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/comeau.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/common_edg.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/compaq_cxx.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/digitalmars.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/gcc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/gcc_xml.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/greenhills.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/hp_acc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/intel.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/kai.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/metrowerks.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/mpw.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/nvcc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/pathscale.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/pgi.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/sgi_mipspro.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/sunpro_cc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/vacpp.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/compiler/visualc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/no_tr1 directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/no_tr1/cmath.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/no_tr1/utility.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/aix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/amigaos.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/beos.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/bsd.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/cygwin.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/hpux.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/irix.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/linux.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/macos.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/qnxnto.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/solaris.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/symbian.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/vms.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/vxworks.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/platform/win32.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/dinkumware.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libcomo.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libcpp.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/libstdcpp3.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/modena.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/msl.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/roguewave.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/sgi.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/stlport.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/config/stdlib/vacpp.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/endian.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/detail/limits.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith2.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/arith3.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/checking.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/constants.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/hw_rounding.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/interval.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/policies.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounded_arith.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounded_transc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/rounding.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/transc.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/utility.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/certain.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/explicit.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/possible.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/compare/set.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail directory
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/bugs.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/division.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp.orig file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/test_input.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp file
gecode/gecode-release-6.2.0/gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp file
gecode/gecode-release-6.2.0/images directory
gecode/gecode-release-6.2.0/images/gecode-logo-100.png file
gecode/gecode-release-6.2.0/images/gecode-logo-120.png file
gecode/gecode-release-6.2.0/images/gecode-logo-40.png file
gecode/gecode-release-6.2.0/images/gecode-logo-60.png file
gecode/gecode-release-6.2.0/images/gecode-logo.eps file
gecode/gecode-release-6.2.0/images/gecode-logo.ico file
gecode/gecode-release-6.2.0/images/gecode-logo.pdf file
gecode/gecode-release-6.2.0/misc directory
gecode/gecode-release-6.2.0/misc/allexamples.perl file
gecode/gecode-release-6.2.0/misc/fixautoheader.perl file
gecode/gecode-release-6.2.0/misc/fixmanifest.perl file
gecode/gecode-release-6.2.0/misc/gecode-logo.ico file
gecode/gecode-release-6.2.0/misc/genchangelog.perl file
gecode/gecode-release-6.2.0/misc/gencurrentchangelog.perl file
gecode/gecode-release-6.2.0/misc/genlcovmakefile.perl file
gecode/gecode-release-6.2.0/misc/genlicense.perl file
gecode/gecode-release-6.2.0/misc/genrc.perl file
gecode/gecode-release-6.2.0/misc/genstatistics.perl file
gecode/gecode-release-6.2.0/misc/gentxtchangelog.perl file
gecode/gecode-release-6.2.0/misc/genvarimp.perl file
gecode/gecode-release-6.2.0/misc/genxcodeproj.perl file
gecode/gecode-release-6.2.0/misc/makedepend.perl file
gecode/gecode-release-6.2.0/misc/remmodified.perl file
gecode/gecode-release-6.2.0/misc/doxygen directory
gecode/gecode-release-6.2.0/misc/doxygen/back.png file
gecode/gecode-release-6.2.0/misc/doxygen/footer.html file
gecode/gecode-release-6.2.0/misc/doxygen/gecode-logo-100.png file
gecode/gecode-release-6.2.0/misc/doxygen/header.html file
gecode/gecode-release-6.2.0/misc/doxygen/stylesheet.css file
gecode/gecode-release-6.2.0/test directory
gecode/gecode-release-6.2.0/test/afc.cpp file
gecode/gecode-release-6.2.0/test/array.cpp file
gecode/gecode-release-6.2.0/test/assign.cpp file
gecode/gecode-release-6.2.0/test/assign.hh file
gecode/gecode-release-6.2.0/test/branch.cpp file
gecode/gecode-release-6.2.0/test/branch.hh file
gecode/gecode-release-6.2.0/test/flatzinc.cpp file
gecode/gecode-release-6.2.0/test/flatzinc.hh file
gecode/gecode-release-6.2.0/test/float.cpp file
gecode/gecode-release-6.2.0/test/float.hh file
gecode/gecode-release-6.2.0/test/float.hpp file
gecode/gecode-release-6.2.0/test/int.cpp file
gecode/gecode-release-6.2.0/test/int.hh file
gecode/gecode-release-6.2.0/test/int.hpp file
gecode/gecode-release-6.2.0/test/ldsb.cpp file
gecode/gecode-release-6.2.0/test/nogoods.cpp file
gecode/gecode-release-6.2.0/test/region.cpp file
gecode/gecode-release-6.2.0/test/search.cpp file
gecode/gecode-release-6.2.0/test/set.cpp file
gecode/gecode-release-6.2.0/test/set.hh file
gecode/gecode-release-6.2.0/test/set.hpp file
gecode/gecode-release-6.2.0/test/test.cpp file
gecode/gecode-release-6.2.0/test/test.hh file
gecode/gecode-release-6.2.0/test/test.hpp file
gecode/gecode-release-6.2.0/test/assign directory
gecode/gecode-release-6.2.0/test/assign/bool.cpp file
gecode/gecode-release-6.2.0/test/assign/float.cpp file
gecode/gecode-release-6.2.0/test/assign/int.cpp file
gecode/gecode-release-6.2.0/test/assign/set.cpp file
gecode/gecode-release-6.2.0/test/branch directory
gecode/gecode-release-6.2.0/test/branch/bool.cpp file
gecode/gecode-release-6.2.0/test/branch/float.cpp file
gecode/gecode-release-6.2.0/test/branch/int.cpp file
gecode/gecode-release-6.2.0/test/branch/set.cpp file
gecode/gecode-release-6.2.0/test/flatzinc directory
gecode/gecode-release-6.2.0/test/flatzinc/2dpacking.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/alpha.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships10.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships3.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships4.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships5.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships7.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/battleships9.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/blocksworld_instance_1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/blocksworld_instance_2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/bool_clause.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/bug232.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/bug319.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/bugfix_r6746.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/bugfix_r7854.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/cumulatives.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/cutstock.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/empty_domain_1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/empty_domain_2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/eq20.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/factory_planning_instance.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/golomb.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/int_set_as_type1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/int_set_as_type2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/jobshop.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/jobshop2x2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/knights.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/langford2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/latin_squares_fd.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_3.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_4.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/magicsq_5.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/multidim_knapsack_simple.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/no_warn_empty_domain.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/oss.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/output_test.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/packing.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/perfsq.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/perfsq2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/photo.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/product_fd.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/product_lp.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/quasigroup_qg5.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/queen_cp2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/queen_ip.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/queens4.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/radiation.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sat_arith1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sat_array_bool_and.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sat_array_bool_or.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sat_cmp_reif.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sat_eq_reif.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/shared_array_element.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/simple_sat.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/singHoist2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/steiner_triples.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/sudoku.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/template_design.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_1.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_2.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_3.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_4.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_5.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/tenpenki_6.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_approx_bnb.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_array_just_right.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_assigned_var_bounds_bad.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_flatzinc_output_anns.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_arith.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_arrays.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_coercions.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_comparison.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_logic.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_fzn_sets.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_int_div.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_int_mod.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_int_ranges_as_values.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/test_seq_search.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/timetabling.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/trucking.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/warehouses.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/warehouses_small.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/wolf_goat_cabbage.cpp file
gecode/gecode-release-6.2.0/test/flatzinc/zebra.cpp file
gecode/gecode-release-6.2.0/test/float directory
gecode/gecode-release-6.2.0/test/float/arithmetic.cpp file
gecode/gecode-release-6.2.0/test/float/basic.cpp file
gecode/gecode-release-6.2.0/test/float/channel.cpp file
gecode/gecode-release-6.2.0/test/float/dom.cpp file
gecode/gecode-release-6.2.0/test/float/linear.cpp file
gecode/gecode-release-6.2.0/test/float/mm-lin.cpp file
gecode/gecode-release-6.2.0/test/float/rel.cpp file
gecode/gecode-release-6.2.0/test/float/transcendental.cpp file
gecode/gecode-release-6.2.0/test/float/trigonometric.cpp file
gecode/gecode-release-6.2.0/test/int directory
gecode/gecode-release-6.2.0/test/int/arithmetic.cpp file
gecode/gecode-release-6.2.0/test/int/basic.cpp file
gecode/gecode-release-6.2.0/test/int/bin-packing.cpp file
gecode/gecode-release-6.2.0/test/int/bool.cpp file
gecode/gecode-release-6.2.0/test/int/channel.cpp file
gecode/gecode-release-6.2.0/test/int/circuit.cpp file
gecode/gecode-release-6.2.0/test/int/count.cpp file
gecode/gecode-release-6.2.0/test/int/cumulative.cpp file
gecode/gecode-release-6.2.0/test/int/cumulatives.cpp file
gecode/gecode-release-6.2.0/test/int/distinct.cpp file
gecode/gecode-release-6.2.0/test/int/dom.cpp file
gecode/gecode-release-6.2.0/test/int/element.cpp file
gecode/gecode-release-6.2.0/test/int/exec.cpp file
gecode/gecode-release-6.2.0/test/int/extensional.cpp file
gecode/gecode-release-6.2.0/test/int/gcc.cpp file
gecode/gecode-release-6.2.0/test/int/linear.cpp file
gecode/gecode-release-6.2.0/test/int/member.cpp file
gecode/gecode-release-6.2.0/test/int/mm-arithmetic.cpp file
gecode/gecode-release-6.2.0/test/int/mm-bool.cpp file
gecode/gecode-release-6.2.0/test/int/mm-count.cpp file
gecode/gecode-release-6.2.0/test/int/mm-lin.cpp file
gecode/gecode-release-6.2.0/test/int/mm-rel.cpp file
gecode/gecode-release-6.2.0/test/int/no-overlap.cpp file
gecode/gecode-release-6.2.0/test/int/nvalues.cpp file
gecode/gecode-release-6.2.0/test/int/order.cpp file
gecode/gecode-release-6.2.0/test/int/precede.cpp file
gecode/gecode-release-6.2.0/test/int/rel.cpp file
gecode/gecode-release-6.2.0/test/int/sequence.cpp file
gecode/gecode-release-6.2.0/test/int/sorted.cpp file
gecode/gecode-release-6.2.0/test/int/unary.cpp file
gecode/gecode-release-6.2.0/test/int/unshare.cpp file
gecode/gecode-release-6.2.0/test/set directory
gecode/gecode-release-6.2.0/test/set/channel.cpp file
gecode/gecode-release-6.2.0/test/set/construct.cpp file
gecode/gecode-release-6.2.0/test/set/convex.cpp file
gecode/gecode-release-6.2.0/test/set/distinct.cpp file
gecode/gecode-release-6.2.0/test/set/dom.cpp file
gecode/gecode-release-6.2.0/test/set/element.cpp file
gecode/gecode-release-6.2.0/test/set/exec.cpp file
gecode/gecode-release-6.2.0/test/set/int.cpp file
gecode/gecode-release-6.2.0/test/set/mm-set.cpp file
gecode/gecode-release-6.2.0/test/set/precede.cpp file
gecode/gecode-release-6.2.0/test/set/rel-op-const.cpp file
gecode/gecode-release-6.2.0/test/set/rel-op.cpp file
gecode/gecode-release-6.2.0/test/set/rel.cpp file
gecode/gecode-release-6.2.0/test/set/sequence.cpp file
gecode/gecode-release-6.2.0/tools directory
gecode/gecode-release-6.2.0/tools/flatzinc directory
gecode/gecode-release-6.2.0/tools/flatzinc/fzn-gecode.cpp file
gecode/gecode-release-6.2.0/tools/flatzinc/mzn-gecode.bat.in file
gecode/gecode-release-6.2.0/tools/flatzinc/mzn-gecode.in file
Holders
path holder start end
Authors
path Author start end
Emails
path email start end
Urls
path url start end
License References
key short_name category owner scancode_url licensedb_url homepage_url text_urls spdx_license_key spdx_url
bison-exception-2.2 Bison 2.2 exception to GPL 2.0 or later Copyleft Limited Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/bison-exception-2.2.LICENSE https://scancode-licensedb.aboutcode.org/bison-exception-2.2 None Bison-exception-2.2 https://spdx.org/licenses/Bison-exception-2.2
boost-1.0 Boost 1.0 Permissive Boost https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/boost-1.0.LICENSE https://scancode-licensedb.aboutcode.org/boost-1.0 http://www.boost.org/users/license.html http://www.boost.org/LICENSE_1_0.txt BSL-1.0 https://spdx.org/licenses/BSL-1.0
bsd-new BSD-3-Clause Permissive Regents of the University of California https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/bsd-new.LICENSE https://scancode-licensedb.aboutcode.org/bsd-new http://www.opensource.org/licenses/BSD-3-Clause http://www.opensource.org/licenses/BSD-3-Clause BSD-3-Clause https://spdx.org/licenses/BSD-3-Clause
cc-by-nc-nd-3.0 CC-BY-NC-ND-3.0 Source-available Creative Commons https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/cc-by-nc-nd-3.0.LICENSE https://scancode-licensedb.aboutcode.org/cc-by-nc-nd-3.0 http://creativecommons.org/licenses/by-nc-nd/3.0/ http://creativecommons.org/licenses/by-nc-nd/3.0/legalcode CC-BY-NC-ND-3.0 https://spdx.org/licenses/CC-BY-NC-ND-3.0
cc-by-nc-sa-3.0 CC-BY-NC-SA-3.0 Source-available Creative Commons https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/cc-by-nc-sa-3.0.LICENSE https://scancode-licensedb.aboutcode.org/cc-by-nc-sa-3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ http://creativecommons.org/licenses/by-nc-sa/3.0/legalcode CC-BY-NC-SA-3.0 https://spdx.org/licenses/CC-BY-NC-SA-3.0
fsf-ap FSF All Permissive License Permissive Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/fsf-ap.LICENSE https://scancode-licensedb.aboutcode.org/fsf-ap http://www.gnu.org/prep/maintain/html_node/License-Notices-for-Other-Files.html FSFAP https://spdx.org/licenses/FSFAP
fsf-free FSF Free Software License Public Domain Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/fsf-free.LICENSE https://scancode-licensedb.aboutcode.org/fsf-free http://www.fsf.org/licensing/licenses/ https://fedoraproject.org/wiki/Licensing/FSF_Unlimited_License FSFUL https://spdx.org/licenses/FSFUL
gpl-3.0-plus GPL 3.0 or later Copyleft Free Software Foundation (FSF) https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/gpl-3.0-plus.LICENSE https://scancode-licensedb.aboutcode.org/gpl-3.0-plus http://www.gnu.org/licenses/gpl-3.0-standalone.html http://www.gnu.org/licenses/gpl-3.0-standalone.html GPL-3.0-or-later https://spdx.org/licenses/GPL-3.0-or-later
mit MIT License Permissive MIT https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit.LICENSE https://scancode-licensedb.aboutcode.org/mit http://opensource.org/licenses/mit-license.php http://opensource.org/licenses/mit-license.php MIT https://spdx.org/licenses/MIT
mit-old-style MIT Old Style Permissive MIT https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit-old-style.LICENSE https://scancode-licensedb.aboutcode.org/mit-old-style http://fedoraproject.org/wiki/Licensing:MIT#Old_Style http://fedoraproject.org/wiki/Licensing:MIT#Old_Style LicenseRef-scancode-mit-old-style https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit-old-style.LICENSE
other-permissive Other Permissive Licenses Permissive nexB https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/other-permissive.LICENSE https://scancode-licensedb.aboutcode.org/other-permissive None LicenseRef-scancode-other-permissive https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/other-permissive.LICENSE
proprietary-license Proprietary License Commercial Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/proprietary-license.LICENSE https://scancode-licensedb.aboutcode.org/proprietary-license None LicenseRef-scancode-proprietary-license https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/proprietary-license.LICENSE
public-domain Public Domain Public Domain Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/public-domain.LICENSE https://scancode-licensedb.aboutcode.org/public-domain http://www.linfo.org/publicdomain.html LicenseRef-scancode-public-domain https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/public-domain.LICENSE
unknown-license-reference Unknown License reference Unstated License Unspecified https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE https://scancode-licensedb.aboutcode.org/unknown-license-reference None LicenseRef-scancode-unknown-license-reference https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/unknown-license-reference.LICENSE
wordnet Wordnet License Permissive Princeton University https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/wordnet.LICENSE https://scancode-licensedb.aboutcode.org/wordnet http://wordnetcode.princeton.edu http://wordnetcode.princeton.edu/3.0/LICENSE LicenseRef-scancode-wordnet https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/wordnet.LICENSE
x11-xconsortium X11-Style (X Consortium) Permissive X Consortium https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/x11-xconsortium.LICENSE https://scancode-licensedb.aboutcode.org/x11-xconsortium http://www.xfree86.org/current/LICENSE5.html http://www.xfree86.org/current/LICENSE5.html X11 https://spdx.org/licenses/X11