bin/mzn-gecode
bin/fz
include/examples/scowl.hpp
include/gecode/driver.hh
include/gecode/driver/options.hpp
include/gecode/driver/script.hpp
include/gecode/flatzinc.hh
include/gecode/flatzinc/ast.hh
include/gecode/flatzinc/conexpr.hh
include/gecode/flatzinc/option.hh
include/gecode/flatzinc/parser.hh
include/gecode/flatzinc/plugin.hh
include/gecode/flatzinc/registry.hh
include/gecode/flatzinc/symboltable.hh
include/gecode/flatzinc/varspec.hh
include/gecode/gist.hh
include/gecode/gist/drawingcursor.hh
include/gecode/gist/drawingcursor.hpp
include/gecode/gist/gecodelogo.hh
include/gecode/gist/gist.hpp
include/gecode/gist/layoutcursor.hh
include/gecode/gist/layoutcursor.hpp
include/gecode/gist/mainwindow.hh
include/gecode/gist/node.hh
include/gecode/gist/node.hpp
include/gecode/gist/nodecursor.hh
include/gecode/gist/nodecursor.hpp
include/gecode/gist/nodestats.hh
include/gecode/gist/nodevisitor.hh
include/gecode/gist/nodevisitor.hpp
include/gecode/gist/nodewidget.hh
include/gecode/gist/preferences.hh
include/gecode/gist/qtgist.hh
include/gecode/gist/spacenode.hh
include/gecode/gist/spacenode.hpp
include/gecode/gist/stopbrancher.hh
include/gecode/gist/textoutput.hh
include/gecode/gist/treecanvas.hh
include/gecode/gist/visualnode.hh
include/gecode/gist/visualnode.hpp
include/gecode/gist/zoomToFitIcon.hpp
include/gecode/int.hh
include/gecode/int/arithmetic.hh
include/gecode/int/arithmetic/abs.hpp
include/gecode/int/arithmetic/divmod.hpp
include/gecode/int/arithmetic/max.hpp
include/gecode/int/arithmetic/mult.hpp
include/gecode/int/arithmetic/sqr.hpp
include/gecode/int/arithmetic/sqrt.hpp
include/gecode/int/array-traits.hpp
include/gecode/int/array.hpp
include/gecode/int/bin-packing.hh
include/gecode/int/bin-packing/propagate.hpp
include/gecode/int/bool.hh
include/gecode/int/bool/base.hpp
include/gecode/int/bool/clause.hpp
include/gecode/int/bool/eq.hpp
include/gecode/int/bool/eqv.hpp
include/gecode/int/bool/lq.hpp
include/gecode/int/bool/or.hpp
include/gecode/int/branch.hh
include/gecode/int/branch/post-val-bool.hpp
include/gecode/int/branch/post-val-int.hpp
include/gecode/int/branch/select-val.hpp
include/gecode/int/branch/select-values.hpp
include/gecode/int/branch/select-view.hpp
include/gecode/int/channel.hh
include/gecode/int/channel/base.hpp
include/gecode/int/channel/dom.hpp
include/gecode/int/channel/link-multi.hpp
include/gecode/int/channel/link-single.hpp
include/gecode/int/channel/val.hpp
include/gecode/int/circuit.hh
include/gecode/int/circuit/base.hpp
include/gecode/int/circuit/dom.hpp
include/gecode/int/circuit/val.hpp
include/gecode/int/count.hh
include/gecode/int/count/int-base.hpp
include/gecode/int/count/int-eq.hpp
include/gecode/int/count/int-gq.hpp
include/gecode/int/count/int-lq.hpp
include/gecode/int/count/rel.hpp
include/gecode/int/count/view-base.hpp
include/gecode/int/count/view-eq.hpp
include/gecode/int/count/view-gq.hpp
include/gecode/int/count/view-lq.hpp
include/gecode/int/cumulatives.hh
include/gecode/int/cumulative/basic.hpp
include/gecode/int/cumulative/edge-finding.hpp
include/gecode/int/cumulative/man-prop.hpp
include/gecode/int/cumulative/opt-prop.hpp
include/gecode/int/cumulative/overload.hpp
include/gecode/int/cumulative/task-view.hpp
include/gecode/int/cumulative/task.hpp
include/gecode/int/cumulative/tree.hpp
include/gecode/int/cumulative.hh
include/gecode/int/cumulatives/val.hpp
include/gecode/int/distinct.hh
include/gecode/int/distinct/bnd.hpp
include/gecode/int/distinct/dom-ctrl.hpp
include/gecode/int/distinct/dom.hpp
include/gecode/int/distinct/graph.hpp
include/gecode/int/distinct/ter-dom.hpp
include/gecode/int/distinct/val.hpp
include/gecode/int/dom.hh
include/gecode/int/dom/range.hpp
include/gecode/int/dom/spec.hpp
include/gecode/int/element.hh
include/gecode/int/element/int.hpp
include/gecode/int/element/pair.hpp
include/gecode/int/element/view.hpp
include/gecode/int/exception.hpp
include/gecode/int/exec.hh
include/gecode/int/exec/when.hpp
include/gecode/int/extensional.hh
include/gecode/int/extensional/base.hpp
include/gecode/int/extensional/basic.hpp
include/gecode/int/extensional/dfa.hpp
include/gecode/int/extensional/incremental.hpp
include/gecode/int/extensional/layered-graph.hpp
include/gecode/int/extensional/tuple-set.hpp
include/gecode/int/gcc.hh
include/gecode/int/gcc/bnd-sup.hpp
include/gecode/int/gcc/bnd.hpp
include/gecode/int/gcc/dom-sup.hpp
include/gecode/int/gcc/dom.hpp
include/gecode/int/gcc/post.hpp
include/gecode/int/gcc/val.hpp
include/gecode/int/gcc/view.hpp
include/gecode/int/int-set-1.hpp
include/gecode/int/int-set-2.hpp
include/gecode/int/limits.hpp
include/gecode/int/linear.hh
include/gecode/int/linear/bool-int.hpp
include/gecode/int/linear/bool-scale.hpp
include/gecode/int/linear/bool-view.hpp
include/gecode/int/linear/int-bin.hpp
include/gecode/int/linear/int-dom.hpp
include/gecode/int/linear/int-nary.hpp
include/gecode/int/linear/int-noview.hpp
include/gecode/int/linear/int-ter.hpp
include/gecode/int/linear/post.hpp
include/gecode/int/member.hh
include/gecode/int/member/prop.hpp
include/gecode/int/member/re-prop.hpp
include/gecode/int/no-overlap.hh
include/gecode/int/no-overlap/base.hpp
include/gecode/int/no-overlap/box.hpp
include/gecode/int/no-overlap/dim.hpp
include/gecode/int/no-overlap/man.hpp
include/gecode/int/no-overlap/opt.hpp
include/gecode/int/nvalues.hh
include/gecode/int/nvalues/bool-base.hpp
include/gecode/int/nvalues/bool-eq.hpp
include/gecode/int/nvalues/bool-gq.hpp
include/gecode/int/nvalues/bool-lq.hpp
include/gecode/int/nvalues/graph.hpp
include/gecode/int/nvalues/int-base.hpp
include/gecode/int/nvalues/int-eq.hpp
include/gecode/int/nvalues/int-gq.hpp
include/gecode/int/nvalues/int-lq.hpp
include/gecode/int/nvalues/range-event.hpp
include/gecode/int/nvalues/sym-bit-matrix.hpp
include/gecode/int/precede.hh
include/gecode/int/precede/single.hpp
include/gecode/int/propagator.hpp
include/gecode/int/rel.hh
include/gecode/int/rel/eq.hpp
include/gecode/int/rel/lex.hpp
include/gecode/int/rel/lq-le.hpp
include/gecode/int/rel/nq.hpp
include/gecode/int/sequence.hh
include/gecode/int/sequence/int.hpp
include/gecode/int/sequence/set-op.hpp
include/gecode/int/sequence/view.hpp
include/gecode/int/sequence/violations.hpp
include/gecode/int/sorted.hh
include/gecode/int/sorted/matching.hpp
include/gecode/int/sorted/narrowing.hpp
include/gecode/int/sorted/order.hpp
include/gecode/int/sorted/propagate.hpp
include/gecode/int/sorted/sortsup.hpp
include/gecode/int/support-values.hh
include/gecode/int/support-values.hpp
include/gecode/int/task.hh
include/gecode/int/task/array.hpp
include/gecode/int/task/fwd-to-bwd.hpp
include/gecode/int/task/iter.hpp
include/gecode/int/task/man-to-opt.hpp
include/gecode/int/task/prop.hpp
include/gecode/int/task/purge.hpp
include/gecode/int/task/sort.hpp
include/gecode/int/task/tree.hpp
include/gecode/int/unary.hh
include/gecode/int/unary/detectable.hpp
include/gecode/int/unary/edge-finding.hpp
include/gecode/int/unary/man-prop.hpp
include/gecode/int/unary/not-first-not-last.hpp
include/gecode/int/unary/opt-prop.hpp
include/gecode/int/unary/overload.hpp
include/gecode/int/unary/subsumption.hpp
include/gecode/int/unary/task-view.hpp
include/gecode/int/unary/task.hpp
include/gecode/int/unary/tree.hpp
include/gecode/int/val-set.hh
include/gecode/int/val-set.hpp
include/gecode/int/var/bool.hpp
include/gecode/int/var/int.hpp
include/gecode/int/var/print.hpp
include/gecode/int/var-imp.hpp
include/gecode/int/var-imp/bool.hpp
include/gecode/int/var-imp/delta.hpp
include/gecode/int/var-imp/int.hpp
include/gecode/int/view/bool-test.hpp
include/gecode/int/view/bool.hpp
include/gecode/int/view/cached.hpp
include/gecode/int/view/constint.hpp
include/gecode/int/view/int.hpp
include/gecode/int/view/iter.hpp
include/gecode/int/view/minus.hpp
include/gecode/int/view/neg-bool.hpp
include/gecode/int/view/offset.hpp
include/gecode/int/view/print.hpp
include/gecode/int/view/rel-test.hpp
include/gecode/int/view/scale.hpp
include/gecode/int/view/zero.hpp
include/gecode/int/view-val-graph/bi-link.hpp
include/gecode/int/view-val-graph/comb-ptr-flag.hpp
include/gecode/int/view-val-graph/edge.hpp
include/gecode/int/view-val-graph/graph.hpp
include/gecode/int/view-val-graph/iter-prune-val.hpp
include/gecode/int/view-val-graph/node.hpp
include/gecode/int/view-val-graph.hh
include/gecode/int/view.hpp
include/gecode/iter.hh
include/gecode/iter/ranges-add.hpp
include/gecode/iter/ranges-append.hpp
include/gecode/iter/ranges-array.hpp
include/gecode/iter/ranges-cache.hpp
include/gecode/iter/ranges-compl.hpp
include/gecode/iter/ranges-diff.hpp
include/gecode/iter/ranges-empty.hpp
include/gecode/iter/ranges-inter.hpp
include/gecode/iter/ranges-list.hpp
include/gecode/iter/ranges-map.hpp
include/gecode/iter/ranges-minmax.hpp
include/gecode/iter/ranges-minus.hpp
include/gecode/iter/ranges-negative.hpp
include/gecode/iter/ranges-offset.hpp
include/gecode/iter/ranges-operations.hpp
include/gecode/iter/ranges-positive.hpp
include/gecode/iter/ranges-rangelist.hpp
include/gecode/iter/ranges-scale.hpp
include/gecode/iter/ranges-singleton-append.hpp
include/gecode/iter/ranges-singleton.hpp
include/gecode/iter/ranges-size.hpp
include/gecode/iter/ranges-union.hpp
include/gecode/iter/ranges-values.hpp
include/gecode/iter/values-array.hpp
include/gecode/iter/values-bitset.hpp
include/gecode/iter/values-inter.hpp
include/gecode/iter/values-list.hpp
include/gecode/iter/values-map.hpp
include/gecode/iter/values-minus.hpp
include/gecode/iter/values-negative.hpp
include/gecode/iter/values-offset.hpp
include/gecode/iter/values-positive.hpp
include/gecode/iter/values-ranges.hpp
include/gecode/iter/values-singleton.hpp
include/gecode/iter/values-union.hpp
include/gecode/iter/values-unique.hpp
include/gecode/kernel.hh
include/gecode/kernel/advisor.hpp
include/gecode/kernel/allocators.hpp
include/gecode/kernel/archive.hpp
include/gecode/kernel/array.hpp
include/gecode/kernel/branch.hpp
include/gecode/kernel/brancher-tiebreak.hpp
include/gecode/kernel/brancher-val.hpp
include/gecode/kernel/brancher-view.hpp
include/gecode/kernel/brancher.hpp
include/gecode/kernel/core.hpp
include/gecode/kernel/exception.hpp
include/gecode/kernel/global-prop-info.hpp
include/gecode/kernel/macros.hpp
include/gecode/kernel/memory-config.hpp
include/gecode/kernel/memory-manager.hpp
include/gecode/kernel/modevent.hpp
include/gecode/kernel/propagator.hpp
include/gecode/kernel/range-list.hpp
include/gecode/kernel/region.hpp
include/gecode/kernel/shared-array.hpp
include/gecode/kernel/var-imp.hpp
include/gecode/kernel/var-type.hpp
include/gecode/kernel/var.hpp
include/gecode/kernel/view.hpp
include/gecode/kernel/wait.hh
include/gecode/minimodel.hh
include/gecode/minimodel/bool-expr.hpp
include/gecode/minimodel/exception.hpp
include/gecode/minimodel/lin-expr.hpp
include/gecode/minimodel/lin-rel.hpp
include/gecode/minimodel/matrix.hpp
include/gecode/minimodel/optimize.hpp
include/gecode/minimodel/reg.hpp
include/gecode/minimodel/set-expr.hpp
include/gecode/minimodel/set-rel.hpp
include/gecode/search.hh
include/gecode/search/bab.hpp
include/gecode/search/dfs.hpp
include/gecode/search/options.hpp
include/gecode/search/parallel/bab.hh
include/gecode/search/parallel/dfs.hh
include/gecode/search/parallel/engine.hh
include/gecode/search/parallel/path.hh
include/gecode/search/parallel/restart.hh
include/gecode/search/restart.hpp
include/gecode/search/sequential/bab.hh
include/gecode/search/sequential/dfs.hh
include/gecode/search/sequential/path.hh
include/gecode/search/sequential/restart.hh
include/gecode/search/statistics.hpp
include/gecode/search/stop.hpp
include/gecode/search/support.hh
include/gecode/search/worker.hh
include/gecode/set.hh
include/gecode/set/array-traits.hpp
include/gecode/set/array.hpp
include/gecode/set/branch.hh
include/gecode/set/branch/post-val.hpp
include/gecode/set/branch/select-val.hpp
include/gecode/set/branch/select-view.hpp
include/gecode/set/convex.hh
include/gecode/set/convex/conv.hpp
include/gecode/set/convex/hull.hpp
include/gecode/set/distinct.hh
include/gecode/set/distinct/atmostOne.hpp
include/gecode/set/element.hh
include/gecode/set/element/disjoint.hpp
include/gecode/set/element/inter.hpp
include/gecode/set/element/union.hpp
include/gecode/set/element/unionConst.hpp
include/gecode/set/exception.hpp
include/gecode/set/int.hh
include/gecode/set/int/card.hpp
include/gecode/set/int/channel-bool.hpp
include/gecode/set/int/channel-int.hpp
include/gecode/set/int/match.hpp
include/gecode/set/int/minmax.hpp
include/gecode/set/int/weights.hpp
include/gecode/set/limits.hpp
include/gecode/set/precede.hh
include/gecode/set/precede/single.hpp
include/gecode/set/rel.hh
include/gecode/set/rel/common.hpp
include/gecode/set/rel/eq.hpp
include/gecode/set/rel/lq.hpp
include/gecode/set/rel/nosubset.hpp
include/gecode/set/rel/nq.hpp
include/gecode/set/rel/re-eq.hpp
include/gecode/set/rel/re-lq.hpp
include/gecode/set/rel/re-subset.hpp
include/gecode/set/rel/subset.hpp
include/gecode/set/rel-op.hh
include/gecode/set/rel-op/common.hpp
include/gecode/set/rel-op/inter.hpp
include/gecode/set/rel-op/partition.hpp
include/gecode/set/rel-op/post.hpp
include/gecode/set/rel-op/subofunion.hpp
include/gecode/set/rel-op/superofinter.hpp
include/gecode/set/rel-op/union.hpp
include/gecode/set/sequence.hh
include/gecode/set/sequence/common.hpp
include/gecode/set/sequence/seq-u.hpp
include/gecode/set/sequence/seq.hpp
include/gecode/set/var/print.hpp
include/gecode/set/var/set.hpp
include/gecode/set/var-imp.hpp
include/gecode/set/var-imp/delta.hpp
include/gecode/set/var-imp/integerset.hpp
include/gecode/set/var-imp/iter.hpp
include/gecode/set/var-imp/set.hpp
include/gecode/set/view.hpp
include/gecode/set/view/cached.hpp
include/gecode/set/view/complement.hpp
include/gecode/set/view/const.hpp
include/gecode/set/view/print.hpp
include/gecode/set/view/set.hpp
include/gecode/set/view/singleton.hpp
include/gecode/support.hh
include/gecode/support/auto-link.hpp
include/gecode/support/bitset-base.hpp
include/gecode/support/bitset.hpp
include/gecode/support/block-allocator.hpp
include/gecode/support/cast.hpp
include/gecode/support/config.hpp
include/gecode/support/dynamic-array.hpp
include/gecode/support/dynamic-queue.hpp
include/gecode/support/dynamic-stack.hpp
include/gecode/support/exception.hpp
include/gecode/support/heap.hpp
include/gecode/support/int-type.hpp
include/gecode/support/macros.hpp
include/gecode/support/marked-pointer.hpp
include/gecode/support/random.hpp
include/gecode/support/sort.hpp
include/gecode/support/static-stack.hpp
include/gecode/support/thread.hpp
include/gecode/support/thread/none.hpp
include/gecode/support/thread/pthreads.hpp
include/gecode/support/thread/thread.hpp
include/gecode/support/thread/windows.hpp
include/gecode/support/timer.hpp
lib/libgecodedriver.so
lib/libgecodedriver.so.32
lib/libgecodedriver.so.32.0
lib/libgecodeflatzinc.so
lib/libgecodeflatzinc.so.32
lib/libgecodeflatzinc.so.32.0
%%GIST%%lib/libgecodegist.so
%%GIST%%lib/libgecodegist.so.32
%%GIST%%lib/libgecodegist.so.32.0
lib/libgecodeint.so
lib/libgecodeint.so.32
lib/libgecodeint.so.32.0
lib/libgecodekernel.so
lib/libgecodekernel.so.32
lib/libgecodekernel.so.32.0
lib/libgecodeminimodel.so
lib/libgecodeminimodel.so.32
lib/libgecodeminimodel.so.32.0
lib/libgecodesearch.so
lib/libgecodesearch.so.32
lib/libgecodesearch.so.32.0
lib/libgecodeset.so
lib/libgecodeset.so.32
lib/libgecodeset.so.32.0
lib/libgecodesupport.so
lib/libgecodesupport.so.32
lib/libgecodesupport.so.32.0
%%DATADIR%%/mznlib/all_different_int.mzn
%%DATADIR%%/mznlib/all_equal_int.mzn
%%DATADIR%%/mznlib/among.mzn
%%DATADIR%%/mznlib/at_least_int.mzn
%%DATADIR%%/mznlib/at_least_set.mzn
%%DATADIR%%/mznlib/at_most_int.mzn
%%DATADIR%%/mznlib/at_most_set.mzn
%%DATADIR%%/mznlib/bin_packing.mzn
%%DATADIR%%/mznlib/bin_packing_capa.mzn
%%DATADIR%%/mznlib/bin_packing_load.mzn
%%DATADIR%%/mznlib/circuit.mzn
%%DATADIR%%/mznlib/count.mzn
%%DATADIR%%/mznlib/cumulative.mzn
%%DATADIR%%/mznlib/decreasing_bool.mzn
%%DATADIR%%/mznlib/decreasing_int.mzn
%%DATADIR%%/mznlib/diffn.mzn
%%DATADIR%%/mznlib/disjoint.mzn
%%DATADIR%%/mznlib/distribute.mzn
%%DATADIR%%/mznlib/exactly_int.mzn
%%DATADIR%%/mznlib/exactly_set.mzn
%%DATADIR%%/mznlib/gecode.mzn
%%DATADIR%%/mznlib/global_cardinality.mzn
%%DATADIR%%/mznlib/global_cardinality_closed.mzn
%%DATADIR%%/mznlib/global_cardinality_low_up.mzn
%%DATADIR%%/mznlib/global_cardinality_low_up_closed.mzn
%%DATADIR%%/mznlib/increasing_bool.mzn
%%DATADIR%%/mznlib/increasing_int.mzn
%%DATADIR%%/mznlib/int_set_channel.mzn
%%DATADIR%%/mznlib/inverse.mzn
%%DATADIR%%/mznlib/lex_less_int.mzn
%%DATADIR%%/mznlib/lex_lesseq_int.mzn
%%DATADIR%%/mznlib/link_set_to_booleans.mzn
%%DATADIR%%/mznlib/maximum_int.mzn
%%DATADIR%%/mznlib/member_bool.mzn
%%DATADIR%%/mznlib/member_int.mzn
%%DATADIR%%/mznlib/minimum_int.mzn
%%DATADIR%%/mznlib/nvalue.mzn
%%DATADIR%%/mznlib/partition_set.mzn
%%DATADIR%%/mznlib/precedence.mzn
%%DATADIR%%/mznlib/range.mzn
%%DATADIR%%/mznlib/redefinitions.mzn
%%DATADIR%%/mznlib/regular.mzn
%%DATADIR%%/mznlib/roots.mzn
%%DATADIR%%/mznlib/sort.mzn
%%DATADIR%%/mznlib/sum_pred.mzn
%%DATADIR%%/mznlib/table_bool.mzn
%%DATADIR%%/mznlib/table_int.mzn
@dirrm %%DATADIR%%/mznlib
@dirrm %%DATADIR%%
@dirrm include/gecode/support/thread
@dirrm include/gecode/support
@dirrm include/gecode/set/view
@dirrm include/gecode/set/var-imp
@dirrm include/gecode/set/var
@dirrm include/gecode/set/sequence
@dirrm include/gecode/set/rel-op
@dirrm include/gecode/set/rel
@dirrm include/gecode/set/precede
@dirrm include/gecode/set/int
@dirrm include/gecode/set/element
@dirrm include/gecode/set/distinct
@dirrm include/gecode/set/convex
@dirrm include/gecode/set/branch
@dirrm include/gecode/set
@dirrm include/gecode/search/sequential
@dirrm include/gecode/search/parallel
@dirrm include/gecode/search
@dirrm include/gecode/minimodel
@dirrm include/gecode/kernel
@dirrm include/gecode/iter
@dirrm include/gecode/int/view-val-graph
@dirrm include/gecode/int/view
@dirrm include/gecode/int/var-imp
@dirrm include/gecode/int/var
@dirrm include/gecode/int/unary
@dirrm include/gecode/int/task
@dirrm include/gecode/int/sorted
@dirrm include/gecode/int/sequence
@dirrm include/gecode/int/rel
@dirrm include/gecode/int/precede
@dirrm include/gecode/int/nvalues
@dirrm include/gecode/int/no-overlap
@dirrm include/gecode/int/member
@dirrm include/gecode/int/linear
@dirrm include/gecode/int/gcc
@dirrm include/gecode/int/extensional
@dirrm include/gecode/int/exec
@dirrm include/gecode/int/element
@dirrm include/gecode/int/dom
@dirrm include/gecode/int/distinct
@dirrm include/gecode/int/cumulatives
@dirrm include/gecode/int/cumulative
@dirrm include/gecode/int/count
@dirrm include/gecode/int/circuit
@dirrm include/gecode/int/channel
@dirrm include/gecode/int/branch
@dirrm include/gecode/int/bool
@dirrm include/gecode/int/bin-packing
@dirrm include/gecode/int/arithmetic
@dirrm include/gecode/int
@dirrm include/gecode/gist
@dirrm include/gecode/flatzinc
@dirrm include/gecode/driver
@dirrm include/gecode
@dirrm include/examples