File List

Here is a list of all files with brief descriptions:

changelog.hh [code]
doxygen.hh [code]
license.hh [code]
stat.hh [code]
examples/all-interval.cpp [code]
examples/alpha.cpp [code]
examples/archimedean-spiral.cpp [code]
examples/bacp.cpp [code]
examples/bibd.cpp [code]
examples/bin-packing.cpp [code]
examples/black-hole.cpp [code]
examples/car-sequencing.cpp [code]
examples/cartesian-heart.cpp [code]
examples/colored-matrix.cpp [code]
examples/crew.cpp [code]
examples/crossword.cpp [code]
examples/crowded-chess.cpp [code]
examples/descartes-folium.cpp [code]
examples/dominating-queens.cpp [code]
examples/domino.cpp [code]
examples/donald.cpp [code]
examples/efpa.cpp [code]
examples/eq20.cpp [code]
examples/golden-spiral.cpp [code]
examples/golf.cpp [code]
examples/golomb-ruler.cpp [code]
examples/graph-color.cpp [code]
examples/grocery.cpp [code]
examples/hamming.cpp [code]
examples/ind-set.cpp [code]
examples/kakuro.cpp [code]
examples/knights.cpp [code]
examples/langford-number.cpp [code]
examples/magic-sequence.cpp [code]
examples/magic-square.cpp [code]
examples/minesweeper.cpp [code]
examples/money.cpp [code]
examples/multi-bin-packing.cpp [code]
examples/nonogram.cpp [code]
examples/open-shop.cpp [code]
examples/ortho-latin.cpp [code]
examples/partition.cpp [code]
examples/pentominoes.cpp [code]
examples/perfect-square.cpp [code]
examples/photo.cpp [code]
examples/qcp.cpp [code]
examples/queen-armies.cpp [code]
examples/queens.cpp [code]
examples/radiotherapy.cpp [code]
examples/sat.cpp [code]
examples/schurs-lemma.cpp [code]
examples/scowl.hpp [code]
examples/sports-league.cpp [code]
examples/steel-mill.cpp [code]
examples/steiner.cpp [code]
examples/sudoku.cpp [code]
examples/tsp.cpp [code]
examples/warehouses.cpp [code]
examples/word-square.cpp [code]
gecode/driver.hh [code]
gecode/flatzinc.hh [code]
gecode/float.hh [code]
gecode/gist.hh [code]
gecode/int.hh [code]
gecode/iter.hh [code]
gecode/kernel.hh [code]
gecode/minimodel.hh [code]
gecode/search.hh [code]
gecode/set.hh [code]
gecode/support.hh [code]
gecode/driver/options.cpp [code]
gecode/driver/options.hpp [code]
gecode/driver/script.cpp [code]
gecode/driver/script.hpp [code]
gecode/flatzinc/ast.hh [code]
gecode/flatzinc/conexpr.hh [code]
gecode/flatzinc/flatzinc.cpp [code]
gecode/flatzinc/option.hh [code]
gecode/flatzinc/parser.hh [code]
gecode/flatzinc/plugin.hh [code]
gecode/flatzinc/registry.cpp [code]
gecode/flatzinc/registry.hh [code]
gecode/flatzinc/symboltable.hh [code]
gecode/flatzinc/varspec.hh [code]
gecode/float/arithmetic.cpp [code]
gecode/float/arithmetic.hh [code]
gecode/float/array-traits.hpp [code]
gecode/float/array.cpp [code]
gecode/float/array.hpp [code]
gecode/float/branch.cpp [code]
gecode/float/branch.hh [code]
gecode/float/dom.cpp [code]
gecode/float/exception.hpp [code]
gecode/float/exec.cpp [code]
gecode/float/limits.hpp [code]
gecode/float/linear.cpp [code]
gecode/float/linear.hh [code]
gecode/float/nextafter.hpp [code]
gecode/float/num.hpp [code]
gecode/float/rel.cpp [code]
gecode/float/rel.hh [code]
gecode/float/rounding.cpp [code]
gecode/float/rounding.hpp [code]
gecode/float/transcendental.hh [code]
gecode/float/trigonometric.hh [code]
gecode/float/val.hpp [code]
gecode/float/var-imp.hpp [code]
gecode/float/view.hpp [code]
gecode/float/arithmetic/div.hpp [code]
gecode/float/arithmetic/min-max-channel.hpp [code]
gecode/float/arithmetic/mult.hpp [code]
gecode/float/arithmetic/pow-nroot.hpp [code]
gecode/float/arithmetic/sqr-sqrt-abs.hpp [code]
gecode/float/branch/activity.cpp [code]
gecode/float/branch/activity.hpp [code]
gecode/float/branch/afc.hpp [code]
gecode/float/branch/assign.hpp [code]
gecode/float/branch/merit.hpp [code]
gecode/float/branch/traits.hpp [code]
gecode/float/branch/val-commit.hpp [code]
gecode/float/branch/val-sel-commit.cpp [code]
gecode/float/branch/val-sel.hpp [code]
gecode/float/branch/val.hpp [code]
gecode/float/branch/var.hpp [code]
gecode/float/branch/view-sel.cpp [code]
gecode/float/linear/nary.hpp [code]
gecode/float/linear/post.cpp [code]
gecode/float/rel/eq.hpp [code]
gecode/float/rel/lq-le.hpp [code]
gecode/float/rel/nq.hpp [code]
gecode/float/transcendental/exp-log.hpp [code]
gecode/float/trigonometric/asinacos.hpp [code]
gecode/float/trigonometric/sincos.hpp [code]
gecode/float/trigonometric/tanatan.hpp [code]
gecode/float/var-imp/delta.hpp [code]
gecode/float/var-imp/float.hpp [code]
gecode/float/var/float.cpp [code]
gecode/float/var/float.hpp [code]
gecode/float/var/print.hpp [code]
gecode/float/view/float.hpp [code]
gecode/float/view/minus.hpp [code]
gecode/float/view/offset.hpp [code]
gecode/float/view/print.hpp [code]
gecode/float/view/rel-test.hpp [code]
gecode/float/view/scale.hpp [code]
gecode/gist/drawingcursor.cpp [code]
gecode/gist/drawingcursor.hh [code]
gecode/gist/drawingcursor.hpp [code]
gecode/gist/gecodelogo.cpp [code]
gecode/gist/gecodelogo.hh [code]
gecode/gist/gist.cpp [code]
gecode/gist/gist.hpp [code]
gecode/gist/layoutcursor.hh [code]
gecode/gist/layoutcursor.hpp [code]
gecode/gist/mainwindow.cpp [code]
gecode/gist/mainwindow.hh [code]
gecode/gist/node.cpp [code]
gecode/gist/node.hh [code]
gecode/gist/node.hpp [code]
gecode/gist/nodecursor.hh [code]
gecode/gist/nodecursor.hpp [code]
gecode/gist/nodestats.cpp [code]
gecode/gist/nodestats.hh [code]
gecode/gist/nodevisitor.hh [code]
gecode/gist/nodevisitor.hpp [code]
gecode/gist/nodewidget.cpp [code]
gecode/gist/nodewidget.hh [code]
gecode/gist/preferences.cpp [code]
gecode/gist/preferences.hh [code]
gecode/gist/qtgist.cpp [code]
gecode/gist/qtgist.hh [code]
gecode/gist/spacenode.cpp [code]
gecode/gist/spacenode.hh [code]
gecode/gist/spacenode.hpp [code]
gecode/gist/stopbrancher.cpp [code]
gecode/gist/stopbrancher.hh [code]
gecode/gist/textoutput.cpp [code]
gecode/gist/textoutput.hh [code]
gecode/gist/treecanvas.cpp [code]
gecode/gist/treecanvas.hh [code]
gecode/gist/visualnode.cpp [code]
gecode/gist/visualnode.hh [code]
gecode/gist/visualnode.hpp [code]
gecode/gist/zoomToFitIcon.hpp [code]
gecode/int/arithmetic.cpp [code]
gecode/int/arithmetic.hh [code]
gecode/int/array-traits.hpp [code]
gecode/int/array.cpp [code]
gecode/int/array.hpp [code]
gecode/int/bin-packing.cpp [code]
gecode/int/bin-packing.hh [code]
gecode/int/bool.cpp [code]
gecode/int/bool.hh [code]
gecode/int/branch.cpp [code]
gecode/int/branch.hh [code]
gecode/int/channel.cpp [code]
gecode/int/channel.hh [code]
gecode/int/circuit.cpp [code]
gecode/int/circuit.hh [code]
gecode/int/count.cpp [code]
gecode/int/count.hh [code]
gecode/int/cumulative.cpp [code]
gecode/int/cumulative.hh [code]
gecode/int/cumulatives.cpp [code]
gecode/int/cumulatives.hh [code]
gecode/int/distinct.cpp [code]
gecode/int/distinct.hh [code]
gecode/int/div.hh [code]
gecode/int/div.hpp [code]
gecode/int/dom.cpp [code]
gecode/int/dom.hh [code]
gecode/int/element.cpp [code]
gecode/int/element.hh [code]
gecode/int/exception.hpp [code]
gecode/int/exec.cpp [code]
gecode/int/exec.hh [code]
gecode/int/extensional.cpp [code]
gecode/int/extensional.hh [code]
gecode/int/gcc.cpp [code]
gecode/int/gcc.hh [code]
gecode/int/idx-view.hh [code]
gecode/int/idx-view.hpp [code]
gecode/int/int-set-1.hpp [code]
gecode/int/int-set-2.hpp [code]
gecode/int/int-set.cpp [code]
gecode/int/ldsb.cpp [code]
gecode/int/ldsb.hh [code]
gecode/int/limits.hpp [code]
gecode/int/linear-bool.cpp [code]
gecode/int/linear-int.cpp [code]
gecode/int/linear.hh [code]
gecode/int/member.cpp [code]
gecode/int/member.hh [code]
gecode/int/no-overlap.cpp [code]
gecode/int/no-overlap.hh [code]
gecode/int/nvalues.cpp [code]
gecode/int/nvalues.hh [code]
gecode/int/precede.cpp [code]
gecode/int/precede.hh [code]
gecode/int/propagator.hpp [code]
gecode/int/reify.hpp [code]
gecode/int/rel.cpp [code]
gecode/int/rel.hh [code]
gecode/int/sequence.cpp [code]
gecode/int/sequence.hh [code]
gecode/int/sorted.cpp [code]
gecode/int/sorted.hh [code]
gecode/int/support-values.hh [code]
gecode/int/support-values.hpp [code]
gecode/int/task.hh [code]
gecode/int/unary.cpp [code]
gecode/int/unary.hh [code]
gecode/int/unshare.cpp [code]
gecode/int/val-set.hh [code]
gecode/int/val-set.hpp [code]
gecode/int/var-imp.hpp [code]
gecode/int/view-val-graph.hh [code]
gecode/int/view.hpp [code]
gecode/int/arithmetic/abs.hpp [code]
gecode/int/arithmetic/argmax.hpp [code]
gecode/int/arithmetic/divmod.hpp [code]
gecode/int/arithmetic/max.hpp [code]
gecode/int/arithmetic/mult.cpp [code]
gecode/int/arithmetic/mult.hpp [code]
gecode/int/arithmetic/nroot.hpp [code]
gecode/int/arithmetic/pow-ops.hpp [code]
gecode/int/arithmetic/pow.hpp [code]
gecode/int/bin-packing/conflict-graph.cpp [code]
gecode/int/bin-packing/conflict-graph.hpp [code]
gecode/int/bin-packing/propagate.cpp [code]
gecode/int/bin-packing/propagate.hpp [code]
gecode/int/bool/base.hpp [code]
gecode/int/bool/clause.hpp [code]
gecode/int/bool/eq.hpp [code]
gecode/int/bool/eqv.cpp [code]
gecode/int/bool/eqv.hpp [code]
gecode/int/bool/ite.hpp [code]
gecode/int/bool/lq.hpp [code]
gecode/int/bool/or.hpp [code]
gecode/int/branch/activity.cpp [code]
gecode/int/branch/activity.hpp [code]
gecode/int/branch/afc.hpp [code]
gecode/int/branch/assign.hpp [code]
gecode/int/branch/merit.hpp [code]
gecode/int/branch/ngl.hpp [code]
gecode/int/branch/traits.hpp [code]
gecode/int/branch/val-commit.hpp [code]
gecode/int/branch/val-sel-commit.cpp [code]
gecode/int/branch/val-sel.hpp [code]
gecode/int/branch/val.hpp [code]
gecode/int/branch/var.hpp [code]
gecode/int/branch/view-sel.cpp [code]
gecode/int/branch/view-values.cpp [code]
gecode/int/branch/view-values.hpp [code]
gecode/int/channel/base.hpp [code]
gecode/int/channel/dom.hpp [code]
gecode/int/channel/link-multi.cpp [code]
gecode/int/channel/link-multi.hpp [code]
gecode/int/channel/link-single.cpp [code]
gecode/int/channel/link-single.hpp [code]
gecode/int/channel/val.hpp [code]
gecode/int/circuit/base.hpp [code]
gecode/int/circuit/dom.hpp [code]
gecode/int/circuit/val.hpp [code]
gecode/int/count/int-base.hpp [code]
gecode/int/count/int-eq.hpp [code]
gecode/int/count/int-gq.hpp [code]
gecode/int/count/int-lq.hpp [code]
gecode/int/count/rel.hpp [code]
gecode/int/count/view-base.hpp [code]
gecode/int/count/view-eq.hpp [code]
gecode/int/count/view-gq.hpp [code]
gecode/int/count/view-lq.hpp [code]
gecode/int/cumulative/basic.hpp [code]
gecode/int/cumulative/edge-finding.hpp [code]
gecode/int/cumulative/limits.hpp [code]
gecode/int/cumulative/man-prop.hpp [code]
gecode/int/cumulative/opt-prop.hpp [code]
gecode/int/cumulative/overload.hpp [code]
gecode/int/cumulative/task-view.hpp [code]
gecode/int/cumulative/task.hpp [code]
gecode/int/cumulative/tree.hpp [code]
gecode/int/cumulatives/val.hpp [code]
gecode/int/distinct/bnd.hpp [code]
gecode/int/distinct/dom-ctrl.hpp [code]
gecode/int/distinct/dom.hpp [code]
gecode/int/distinct/graph.hpp [code]
gecode/int/distinct/ter-dom.hpp [code]
gecode/int/distinct/val.hpp [code]
gecode/int/dom/range.hpp [code]
gecode/int/dom/set.hpp [code]
gecode/int/element/int.hpp [code]
gecode/int/element/pair.cpp [code]
gecode/int/element/pair.hpp [code]
gecode/int/element/view.hpp [code]
gecode/int/exec/when.cpp [code]
gecode/int/exec/when.hpp [code]
gecode/int/extensional/base.hpp [code]
gecode/int/extensional/basic.hpp [code]
gecode/int/extensional/dfa.cpp [code]
gecode/int/extensional/dfa.hpp [code]
gecode/int/extensional/incremental.hpp [code]
gecode/int/extensional/layered-graph.hpp [code]
gecode/int/extensional/tuple-set.cpp [code]
gecode/int/extensional/tuple-set.hpp [code]
gecode/int/gcc/bnd-sup.hpp [code]
gecode/int/gcc/bnd.hpp [code]
gecode/int/gcc/dom-sup.hpp [code]
gecode/int/gcc/dom.hpp [code]
gecode/int/gcc/post.hpp [code]
gecode/int/gcc/val.hpp [code]
gecode/int/gcc/view.hpp [code]
gecode/int/ldsb/brancher.hpp [code]
gecode/int/ldsb/sym-imp.cpp [code]
gecode/int/ldsb/sym-imp.hpp [code]
gecode/int/ldsb/sym-obj.cpp [code]
gecode/int/linear/bool-int.hpp [code]
gecode/int/linear/bool-post.cpp [code]
gecode/int/linear/bool-scale.hpp [code]
gecode/int/linear/bool-view.hpp [code]
gecode/int/linear/int-bin.hpp [code]
gecode/int/linear/int-dom.hpp [code]
gecode/int/linear/int-nary.hpp [code]
gecode/int/linear/int-noview.hpp [code]
gecode/int/linear/int-post.cpp [code]
gecode/int/linear/int-ter.hpp [code]
gecode/int/linear/post.hpp [code]
gecode/int/member/prop.hpp [code]
gecode/int/member/re-prop.hpp [code]
gecode/int/no-overlap/base.hpp [code]
gecode/int/no-overlap/box.hpp [code]
gecode/int/no-overlap/dim.hpp [code]
gecode/int/no-overlap/man.hpp [code]
gecode/int/no-overlap/opt.hpp [code]
gecode/int/nvalues/bool-base.hpp [code]
gecode/int/nvalues/bool-eq.hpp [code]
gecode/int/nvalues/bool-gq.hpp [code]
gecode/int/nvalues/bool-lq.hpp [code]
gecode/int/nvalues/graph.hpp [code]
gecode/int/nvalues/int-base.hpp [code]
gecode/int/nvalues/int-eq.hpp [code]
gecode/int/nvalues/int-gq.hpp [code]
gecode/int/nvalues/int-lq.hpp [code]
gecode/int/nvalues/range-event.hpp [code]
gecode/int/nvalues/sym-bit-matrix.hpp [code]
gecode/int/precede/single.hpp [code]
gecode/int/rel/eq.hpp [code]
gecode/int/rel/lex.hpp [code]
gecode/int/rel/lq-le.hpp [code]
gecode/int/rel/nq.hpp [code]
gecode/int/sequence/int.hpp [code]
gecode/int/sequence/set-op.hpp [code]
gecode/int/sequence/view.hpp [code]
gecode/int/sequence/violations.hpp [code]
gecode/int/sorted/matching.hpp [code]
gecode/int/sorted/narrowing.hpp [code]
gecode/int/sorted/order.hpp [code]
gecode/int/sorted/propagate.hpp [code]
gecode/int/sorted/sortsup.hpp [code]
gecode/int/task/array.hpp [code]
gecode/int/task/fwd-to-bwd.hpp [code]
gecode/int/task/iter.hpp [code]
gecode/int/task/man-to-opt.hpp [code]
gecode/int/task/prop.hpp [code]
gecode/int/task/purge.hpp [code]
gecode/int/task/sort.hpp [code]
gecode/int/task/tree.hpp [code]
gecode/int/unary/detectable.hpp [code]
gecode/int/unary/edge-finding.hpp [code]
gecode/int/unary/man-prop.hpp [code]
gecode/int/unary/not-first-not-last.hpp [code]
gecode/int/unary/opt-prop.hpp [code]
gecode/int/unary/overload.hpp [code]
gecode/int/unary/subsumption.hpp [code]
gecode/int/unary/task-view.hpp [code]
gecode/int/unary/task.hpp [code]
gecode/int/unary/tree.hpp [code]
gecode/int/var-imp/bool.cpp [code]
gecode/int/var-imp/bool.hpp [code]
gecode/int/var-imp/delta.hpp [code]
gecode/int/var-imp/int.cpp [code]
gecode/int/var-imp/int.hpp [code]
gecode/int/var/bool.cpp [code]
gecode/int/var/bool.hpp [code]
gecode/int/var/int.cpp [code]
gecode/int/var/int.hpp [code]
gecode/int/var/print.hpp [code]
gecode/int/view-val-graph/bi-link.hpp [code]
gecode/int/view-val-graph/comb-ptr-flag.hpp [code]
gecode/int/view-val-graph/edge.hpp [code]
gecode/int/view-val-graph/graph.hpp [code]
gecode/int/view-val-graph/iter-prune-val.hpp [code]
gecode/int/view-val-graph/node.hpp [code]
gecode/int/view/bool-test.hpp [code]
gecode/int/view/bool.hpp [code]
gecode/int/view/cached.hpp [code]
gecode/int/view/constint.hpp [code]
gecode/int/view/int.hpp [code]
gecode/int/view/iter.hpp [code]
gecode/int/view/minus.hpp [code]
gecode/int/view/neg-bool.hpp [code]
gecode/int/view/offset.hpp [code]
gecode/int/view/print.hpp [code]
gecode/int/view/rel-test.hpp [code]
gecode/int/view/scale.hpp [code]
gecode/int/view/zero.hpp [code]
gecode/iter/ranges-add.hpp [code]
gecode/iter/ranges-append.hpp [code]
gecode/iter/ranges-array.hpp [code]
gecode/iter/ranges-cache.hpp [code]
gecode/iter/ranges-compl.hpp [code]
gecode/iter/ranges-diff.hpp [code]
gecode/iter/ranges-empty.hpp [code]
gecode/iter/ranges-inter.hpp [code]
gecode/iter/ranges-list.hpp [code]
gecode/iter/ranges-map.hpp [code]
gecode/iter/ranges-minmax.hpp [code]
gecode/iter/ranges-minus.hpp [code]
gecode/iter/ranges-negative.hpp [code]
gecode/iter/ranges-offset.hpp [code]
gecode/iter/ranges-operations.hpp [code]
gecode/iter/ranges-positive.hpp [code]
gecode/iter/ranges-rangelist.hpp [code]
gecode/iter/ranges-scale.hpp [code]
gecode/iter/ranges-singleton-append.hpp [code]
gecode/iter/ranges-singleton.hpp [code]
gecode/iter/ranges-size.hpp [code]
gecode/iter/ranges-union.hpp [code]
gecode/iter/ranges-values.hpp [code]
gecode/iter/values-array.hpp [code]
gecode/iter/values-bitset.hpp [code]
gecode/iter/values-bitsetoffset.hpp [code]
gecode/iter/values-inter.hpp [code]
gecode/iter/values-list.hpp [code]
gecode/iter/values-map.hpp [code]
gecode/iter/values-minus.hpp [code]
gecode/iter/values-negative.hpp [code]
gecode/iter/values-offset.hpp [code]
gecode/iter/values-positive.hpp [code]
gecode/iter/values-ranges.hpp [code]
gecode/iter/values-singleton.hpp [code]
gecode/iter/values-union.hpp [code]
gecode/iter/values-unique.hpp [code]
gecode/kernel/activity.cpp [code]
gecode/kernel/activity.hpp [code]
gecode/kernel/advisor.hpp [code]
gecode/kernel/afc.cpp [code]
gecode/kernel/afc.hpp [code]
gecode/kernel/allocators.hpp [code]
gecode/kernel/archive.cpp [code]
gecode/kernel/archive.hpp [code]
gecode/kernel/array.hpp [code]
gecode/kernel/branch-tiebreak.hpp [code]
gecode/kernel/branch-traits.hpp [code]
gecode/kernel/branch-val.hpp [code]
gecode/kernel/branch-var.hpp [code]
gecode/kernel/branch.cpp [code]
gecode/kernel/brancher-merit.hpp [code]
gecode/kernel/brancher-val-commit.hpp [code]
gecode/kernel/brancher-val-sel-commit.hpp [code]
gecode/kernel/brancher-val-sel.hpp [code]
gecode/kernel/brancher-view-sel.hpp [code]
gecode/kernel/brancher-view-val.hpp [code]
gecode/kernel/brancher-view.hpp [code]
gecode/kernel/core.cpp [code]
gecode/kernel/core.hpp [code]
gecode/kernel/exception.hpp [code]
gecode/kernel/global-afc.hpp [code]
gecode/kernel/macros.hpp [code]
gecode/kernel/memory-config.hpp [code]
gecode/kernel/memory-manager.cpp [code]
gecode/kernel/memory-manager.hpp [code]
gecode/kernel/modevent.hpp [code]
gecode/kernel/propagator.hpp [code]
gecode/kernel/range-list.hpp [code]
gecode/kernel/region.cpp [code]
gecode/kernel/region.hpp [code]
gecode/kernel/rnd.cpp [code]
gecode/kernel/rnd.hpp [code]
gecode/kernel/shared-array.hpp [code]
gecode/kernel/var-imp.hpp [code]
gecode/kernel/var-type.hpp [code]
gecode/kernel/var.hpp [code]
gecode/kernel/view.hpp [code]
gecode/kernel/wait.hh [code]
gecode/minimodel/bool-expr.cpp [code]
gecode/minimodel/bool-expr.hpp [code]
gecode/minimodel/exception.hpp [code]
gecode/minimodel/float-arith.cpp [code]
gecode/minimodel/float-expr.cpp [code]
gecode/minimodel/float-rel.cpp [code]
gecode/minimodel/float-rel.hpp [code]
gecode/minimodel/int-arith.cpp [code]
gecode/minimodel/int-expr.cpp [code]
gecode/minimodel/int-rel.cpp [code]
gecode/minimodel/int-rel.hpp [code]
gecode/minimodel/ldsb.hpp [code]
gecode/minimodel/matrix.hpp [code]
gecode/minimodel/optimize.cpp [code]
gecode/minimodel/optimize.hpp [code]
gecode/minimodel/reg.cpp [code]
gecode/minimodel/reg.hpp [code]
gecode/minimodel/set-expr.cpp [code]
gecode/minimodel/set-expr.hpp [code]
gecode/minimodel/set-rel.cpp [code]
gecode/minimodel/set-rel.hpp [code]
gecode/search/bab.cpp [code]
gecode/search/bab.hpp [code]
gecode/search/cutoff.cpp [code]
gecode/search/cutoff.hpp [code]
gecode/search/dfs.cpp [code]
gecode/search/dfs.hpp [code]
gecode/search/engine-base.hpp [code]
gecode/search/engine.cpp [code]
gecode/search/engine.hpp [code]
gecode/search/exception.hpp [code]
gecode/search/options.cpp [code]
gecode/search/options.hpp [code]
gecode/search/rbs.hpp [code]
gecode/search/statistics.hpp [code]
gecode/search/stop.cpp [code]
gecode/search/stop.hpp [code]
gecode/search/support.hh [code]
gecode/search/worker.hh [code]
gecode/search/meta/nogoods.cpp [code]
gecode/search/meta/nogoods.hh [code]
gecode/search/meta/rbs.cpp [code]
gecode/search/meta/rbs.hh [code]
gecode/search/parallel/bab.cpp [code]
gecode/search/parallel/bab.hh [code]
gecode/search/parallel/dfs.cpp [code]
gecode/search/parallel/dfs.hh [code]
gecode/search/parallel/engine.cpp [code]
gecode/search/parallel/engine.hh [code]
gecode/search/parallel/path.cpp [code]
gecode/search/parallel/path.hh [code]
gecode/search/sequential/bab.hh [code]
gecode/search/sequential/dfs.hh [code]
gecode/search/sequential/path.cpp [code]
gecode/search/sequential/path.hh [code]
gecode/set/array-traits.hpp [code]
gecode/set/array.cpp [code]
gecode/set/array.hpp [code]
gecode/set/branch.cpp [code]
gecode/set/branch.hh [code]
gecode/set/cardinality.cpp [code]
gecode/set/channel.cpp [code]
gecode/set/channel.hh [code]
gecode/set/convex.cpp [code]
gecode/set/convex.hh [code]
gecode/set/distinct.cpp [code]
gecode/set/distinct.hh [code]
gecode/set/dom.cpp [code]
gecode/set/element.cpp [code]
gecode/set/element.hh [code]
gecode/set/exception.hpp [code]
gecode/set/exec.cpp [code]
gecode/set/int.cpp [code]
gecode/set/int.hh [code]
gecode/set/ldsb.cpp [code]
gecode/set/ldsb.hh [code]
gecode/set/limits.hpp [code]
gecode/set/precede.cpp [code]
gecode/set/precede.hh [code]
gecode/set/rel-op-const-cvc.cpp [code]
gecode/set/rel-op-const-cvv.cpp [code]
gecode/set/rel-op-const-vcc.cpp [code]
gecode/set/rel-op-const-vcv.cpp [code]
gecode/set/rel-op-const-vvc.cpp [code]
gecode/set/rel-op-singleton.cpp [code]
gecode/set/rel-op-ternary.cpp [code]
gecode/set/rel-op.cpp [code]
gecode/set/rel-op.hh [code]
gecode/set/rel.cpp [code]
gecode/set/rel.hh [code]
gecode/set/sequence.cpp [code]
gecode/set/sequence.hh [code]
gecode/set/var-imp.hpp [code]
gecode/set/view.hpp [code]
gecode/set/branch/activity.cpp [code]
gecode/set/branch/activity.hpp [code]
gecode/set/branch/afc.hpp [code]
gecode/set/branch/assign.hpp [code]
gecode/set/branch/merit.hpp [code]
gecode/set/branch/ngl.cpp [code]
gecode/set/branch/ngl.hpp [code]
gecode/set/branch/traits.hpp [code]
gecode/set/branch/val-commit.hpp [code]
gecode/set/branch/val-sel-commit.cpp [code]
gecode/set/branch/val-sel.hpp [code]
gecode/set/branch/val.hpp [code]
gecode/set/branch/var.hpp [code]
gecode/set/branch/view-sel.cpp [code]
gecode/set/channel/bool.hpp [code]
gecode/set/channel/int.hpp [code]
gecode/set/channel/set.hpp [code]
gecode/set/channel/sorted.hpp [code]
gecode/set/convex/conv.cpp [code]
gecode/set/convex/conv.hpp [code]
gecode/set/convex/hull.cpp [code]
gecode/set/convex/hull.hpp [code]
gecode/set/distinct/atmostOne.cpp [code]
gecode/set/distinct/atmostOne.hpp [code]
gecode/set/element/disjoint.hpp [code]
gecode/set/element/inter.hpp [code]
gecode/set/element/union.hpp [code]
gecode/set/element/unionConst.hpp [code]
gecode/set/int/card.hpp [code]
gecode/set/int/minmax.hpp [code]
gecode/set/int/weights.hpp [code]
gecode/set/ldsb/brancher.hpp [code]
gecode/set/ldsb/sym-imp.cpp [code]
gecode/set/precede/single.hpp [code]
gecode/set/rel-op/common.hpp [code]
gecode/set/rel-op/inter.hpp [code]
gecode/set/rel-op/partition.hpp [code]
gecode/set/rel-op/post-compl-cvc.cpp [code]
gecode/set/rel-op/post-compl-cvv.cpp [code]
gecode/set/rel-op/post-compl-vvc.cpp [code]
gecode/set/rel-op/post-compl.cpp [code]
gecode/set/rel-op/post-nocompl-cvc.cpp [code]
gecode/set/rel-op/post-nocompl-cvv.cpp [code]
gecode/set/rel-op/post-nocompl-vvc.cpp [code]
gecode/set/rel-op/post-nocompl.cpp [code]
gecode/set/rel-op/post.hpp [code]
gecode/set/rel-op/subofunion.hpp [code]
gecode/set/rel-op/superofinter.hpp [code]
gecode/set/rel-op/union.hpp [code]
gecode/set/rel/common.hpp [code]
gecode/set/rel/eq.hpp [code]
gecode/set/rel/lq.hpp [code]
gecode/set/rel/nosubset.hpp [code]
gecode/set/rel/nq.hpp [code]
gecode/set/rel/re-eq.hpp [code]
gecode/set/rel/re-lq.hpp [code]
gecode/set/rel/re-subset.hpp [code]
gecode/set/rel/subset.hpp [code]
gecode/set/sequence/common.hpp [code]
gecode/set/sequence/seq-u.cpp [code]
gecode/set/sequence/seq-u.hpp [code]
gecode/set/sequence/seq.cpp [code]
gecode/set/sequence/seq.hpp [code]
gecode/set/var-imp/delta.hpp [code]
gecode/set/var-imp/integerset.cpp [code]
gecode/set/var-imp/integerset.hpp [code]
gecode/set/var-imp/iter.hpp [code]
gecode/set/var-imp/set.cpp [code]
gecode/set/var-imp/set.hpp [code]
gecode/set/var/print.hpp [code]
gecode/set/var/set.cpp [code]
gecode/set/var/set.hpp [code]
gecode/set/view/cached.hpp [code]
gecode/set/view/complement.hpp [code]
gecode/set/view/const.hpp [code]
gecode/set/view/print.hpp [code]
gecode/set/view/set.hpp [code]
gecode/set/view/singleton.hpp [code]
gecode/support/auto-link.hpp [code]
gecode/support/bitset-base.hpp [code]
gecode/support/bitset-offset.hpp [code]
gecode/support/bitset.hpp [code]
gecode/support/block-allocator.hpp [code]
gecode/support/cast.hpp [code]
gecode/support/config.hpp [code]
gecode/support/dynamic-array.hpp [code]
gecode/support/dynamic-queue.hpp [code]
gecode/support/dynamic-stack.hpp [code]
gecode/support/exception.cpp [code]
gecode/support/exception.hpp [code]
gecode/support/heap.cpp [code]
gecode/support/heap.hpp [code]
gecode/support/hw-rnd.cpp [code]
gecode/support/hw-rnd.hpp [code]
gecode/support/int-type.hpp [code]
gecode/support/macros.hpp [code]
gecode/support/marked-pointer.hpp [code]
gecode/support/random.hpp [code]
gecode/support/sort.hpp [code]
gecode/support/static-stack.hpp [code]
gecode/support/thread.hpp [code]
gecode/support/timer.hpp [code]
gecode/support/thread/none.hpp [code]
gecode/support/thread/pthreads.cpp [code]
gecode/support/thread/pthreads.hpp [code]
gecode/support/thread/thread.cpp [code]
gecode/support/thread/thread.hpp [code]
gecode/support/thread/windows.cpp [code]
gecode/support/thread/windows.hpp [code]
test/afc.cpp [code]
test/array.cpp [code]
test/assign.cpp [code]
test/assign.hh [code]
test/branch.cpp [code]
test/branch.hh [code]
test/brancher-handle.cpp [code]
test/flatzinc.cpp [code]
test/flatzinc.hh [code]
test/float.cpp [code]
test/float.hh [code]
test/float.hpp [code]
test/int.cpp [code]
test/int.hh [code]
test/int.hpp [code]
test/ldsb.cpp [code]
test/nogoods.cpp [code]
test/search.cpp [code]
test/set.cpp [code]
test/set.hh [code]
test/set.hpp [code]
test/test.cpp [code]
test/test.hh [code]
test/test.hpp [code]
test/assign/bool.cpp [code]
test/assign/float.cpp [code]
test/assign/int.cpp [code]
test/assign/set.cpp [code]
test/branch/bool.cpp [code]
test/branch/float.cpp [code]
test/branch/int.cpp [code]
test/branch/set.cpp [code]
test/flatzinc/2dpacking.cpp [code]
test/flatzinc/alpha.cpp [code]
test/flatzinc/battleships1.cpp [code]
test/flatzinc/battleships10.cpp [code]
test/flatzinc/battleships2.cpp [code]
test/flatzinc/battleships3.cpp [code]
test/flatzinc/battleships4.cpp [code]
test/flatzinc/battleships5.cpp [code]
test/flatzinc/battleships7.cpp [code]
test/flatzinc/battleships9.cpp [code]
test/flatzinc/blocksworld_instance_1.cpp [code]
test/flatzinc/blocksworld_instance_2.cpp [code]
test/flatzinc/bool_clause.cpp [code]
test/flatzinc/bug232.cpp [code]
test/flatzinc/bug319.cpp [code]
test/flatzinc/bugfix_r6746.cpp [code]
test/flatzinc/bugfix_r7854.cpp [code]
test/flatzinc/cumulatives.cpp [code]
test/flatzinc/cutstock.cpp [code]
test/flatzinc/empty_domain_1.cpp [code]
test/flatzinc/empty_domain_2.cpp [code]
test/flatzinc/eq20.cpp [code]
test/flatzinc/factory_planning_instance.cpp [code]
test/flatzinc/golomb.cpp [code]
test/flatzinc/int_set_as_type1.cpp [code]
test/flatzinc/int_set_as_type2.cpp [code]
test/flatzinc/jobshop.cpp [code]
test/flatzinc/jobshop2x2.cpp [code]
test/flatzinc/knights.cpp [code]
test/flatzinc/langford2.cpp [code]
test/flatzinc/latin_squares_fd.cpp [code]
test/flatzinc/magicsq_3.cpp [code]
test/flatzinc/magicsq_4.cpp [code]
test/flatzinc/magicsq_5.cpp [code]
test/flatzinc/multidim_knapsack_simple.cpp [code]
test/flatzinc/no_warn_empty_domain.cpp [code]
test/flatzinc/oss.cpp [code]
test/flatzinc/output_test.cpp [code]
test/flatzinc/packing.cpp [code]
test/flatzinc/perfsq.cpp [code]
test/flatzinc/perfsq2.cpp [code]
test/flatzinc/photo.cpp [code]
test/flatzinc/product_fd.cpp [code]
test/flatzinc/product_lp.cpp [code]
test/flatzinc/quasigroup_qg5.cpp [code]
test/flatzinc/queen_cp2.cpp [code]
test/flatzinc/queen_ip.cpp [code]
test/flatzinc/queens4.cpp [code]
test/flatzinc/radiation.cpp [code]
test/flatzinc/sat_arith1.cpp [code]
test/flatzinc/sat_array_bool_and.cpp [code]
test/flatzinc/sat_array_bool_or.cpp [code]
test/flatzinc/sat_cmp_reif.cpp [code]
test/flatzinc/sat_eq_reif.cpp [code]
test/flatzinc/simple_sat.cpp [code]
test/flatzinc/singHoist2.cpp [code]
test/flatzinc/steiner_triples.cpp [code]
test/flatzinc/sudoku.cpp [code]
test/flatzinc/template_design.cpp [code]
test/flatzinc/tenpenki_1.cpp [code]
test/flatzinc/tenpenki_2.cpp [code]
test/flatzinc/tenpenki_3.cpp [code]
test/flatzinc/tenpenki_4.cpp [code]
test/flatzinc/tenpenki_5.cpp [code]
test/flatzinc/tenpenki_6.cpp [code]
test/flatzinc/test_approx_bnb.cpp [code]
test/flatzinc/test_array_just_right.cpp [code]
test/flatzinc/test_assigned_var_bounds_bad.cpp [code]
test/flatzinc/test_flatzinc_output_anns.cpp [code]
test/flatzinc/test_fzn_arith.cpp [code]
test/flatzinc/test_fzn_arrays.cpp [code]
test/flatzinc/test_fzn_coercions.cpp [code]
test/flatzinc/test_fzn_comparison.cpp [code]
test/flatzinc/test_fzn_logic.cpp [code]
test/flatzinc/test_fzn_sets.cpp [code]
test/flatzinc/test_int_div.cpp [code]
test/flatzinc/test_int_mod.cpp [code]
test/flatzinc/test_int_ranges_as_values.cpp [code]
test/flatzinc/test_seq_search.cpp [code]
test/flatzinc/timetabling.cpp [code]
test/flatzinc/trucking.cpp [code]
test/flatzinc/warehouses.cpp [code]
test/flatzinc/warehouses_small.cpp [code]
test/flatzinc/wolf_goat_cabbage.cpp [code]
test/flatzinc/zebra.cpp [code]
test/float/arithmetic.cpp [code]
test/float/basic.cpp [code]
test/float/channel.cpp [code]
test/float/dom.cpp [code]
test/float/linear.cpp [code]
test/float/mm-lin.cpp [code]
test/float/rel.cpp [code]
test/float/transcendental.cpp [code]
test/float/trigonometric.cpp [code]
test/int/arithmetic.cpp [code]
test/int/basic.cpp [code]
test/int/bin-packing.cpp [code]
test/int/bool.cpp [code]
test/int/channel.cpp [code]
test/int/circuit.cpp [code]
test/int/count.cpp [code]
test/int/cumulative.cpp [code]
test/int/cumulatives.cpp [code]
test/int/distinct.cpp [code]
test/int/dom.cpp [code]
test/int/element.cpp [code]
test/int/exec.cpp [code]
test/int/extensional.cpp [code]
test/int/gcc.cpp [code]
test/int/linear.cpp [code]
test/int/member.cpp [code]
test/int/mm-arithmetic.cpp [code]
test/int/mm-bool.cpp [code]
test/int/mm-count.cpp [code]
test/int/mm-lin.cpp [code]
test/int/mm-rel.cpp [code]
test/int/no-overlap.cpp [code]
test/int/nvalues.cpp [code]
test/int/precede.cpp [code]
test/int/rel.cpp [code]
test/int/sequence.cpp [code]
test/int/sorted.cpp [code]
test/int/unary.cpp [code]
test/int/unshare.cpp [code]
test/set/channel.cpp [code]
test/set/construct.cpp [code]
test/set/convex.cpp [code]
test/set/distinct.cpp [code]
test/set/dom.cpp [code]
test/set/element.cpp [code]
test/set/exec.cpp [code]
test/set/int.cpp [code]
test/set/mm-set.cpp [code]
test/set/precede.cpp [code]
test/set/rel-op-const.cpp [code]
test/set/rel-op.cpp [code]
test/set/rel.cpp [code]
test/set/sequence.cpp [code]
tools/flatzinc/fzn-gecode.cpp [code]