-

/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0
├── bin
│   ├── all-interval
│   ├── alpha
│   ├── bacp
│   ├── bibd
│   ├── bin-packing
│   ├── black-hole
│   ├── car-sequencing
│   ├── cartesian-heart
│   ├── colored-matrix
│   ├── crew
│   ├── crossword
│   ├── crowded-chess
│   ├── descartes-folium
│   ├── dominating-queens
│   ├── domino
│   ├── donald
│   ├── efpa
│   ├── eq20
│   ├── fzn-gecode
│   ├── golf
│   ├── golomb-ruler
│   ├── graph-color
│   ├── grocery
│   ├── hamming
│   ├── ind-set
│   ├── kakuro
│   ├── knights
│   ├── langford-number
│   ├── magic-sequence
│   ├── magic-square
│   ├── minesweeper
│   ├── money
│   ├── multi-bin-packing
│   ├── mzn-gecode
│   ├── nonogram
│   ├── open-shop
│   ├── ortho-latin
│   ├── partition
│   ├── pentominoes
│   ├── perfect-square
│   ├── photo
│   ├── qcp
│   ├── queen-armies
│   ├── queens
│   ├── radiotherapy
│   ├── sat
│   ├── schurs-lemma
│   ├── sports-league
│   ├── steel-mill
│   ├── steiner
│   ├── sudoku
│   ├── tsp
│   ├── warehouses
│   └── word-square
├── include
│   ├── examples
│   │   └── scowl.hpp
│   └── gecode
│       ├── driver
│       │   ├── options.hpp
│       │   └── script.hpp
│       ├── driver.hh
│       ├── flatzinc
│       │   ├── ast.hh
│       │   ├── branch.hh
│       │   ├── branch.hpp
│       │   ├── conexpr.hh
│       │   ├── option.hh
│       │   ├── parser.hh
│       │   ├── parser.tab.hh
│       │   ├── plugin.hh
│       │   ├── registry.hh
│       │   ├── symboltable.hh
│       │   └── varspec.hh
│       ├── flatzinc.hh
│       ├── float
│       │   ├── arithmetic
│       │   │   ├── abs.hpp
│       │   │   ├── div.hpp
│       │   │   ├── min-max.hpp
│       │   │   ├── mult.hpp
│       │   │   ├── pow-nroot.hpp
│       │   │   └── sqr-sqrt.hpp
│       │   ├── arithmetic.hh
│       │   ├── array.hpp
│       │   ├── array-traits.hpp
│       │   ├── bool
│       │   │   └── ite.hpp
│       │   ├── bool.hh
│       │   ├── branch
│       │   │   ├── action.hpp
│       │   │   ├── afc.hpp
│       │   │   ├── assign.hpp
│       │   │   ├── chb.hpp
│       │   │   ├── merit.hpp
│       │   │   ├── traits.hpp
│       │   │   ├── val-commit.hpp
│       │   │   ├── val.hpp
│       │   │   ├── val-sel.hpp
│       │   │   └── var.hpp
│       │   ├── branch.hh
│       │   ├── channel
│       │   │   └── channel.hpp
│       │   ├── channel.hh
│       │   ├── channel.hpp
│       │   ├── exception.hpp
│       │   ├── limits.hpp
│       │   ├── linear
│       │   │   └── nary.hpp
│       │   ├── linear.hh
│       │   ├── nextafter.hpp
│       │   ├── num.hpp
│       │   ├── rel
│       │   │   ├── eq.hpp
│       │   │   ├── lq-le.hpp
│       │   │   └── nq.hpp
│       │   ├── rel.hh
│       │   ├── rounding.hpp
│       │   ├── trace
│       │   │   ├── delta.hpp
│       │   │   ├── trace-view.hpp
│       │   │   └── traits.hpp
│       │   ├── trace.hpp
│       │   ├── transcendental
│       │   │   └── exp-log.hpp
│       │   ├── transcendental.hh
│       │   ├── trigonometric
│       │   │   ├── asinacos.hpp
│       │   │   ├── sincos.hpp
│       │   │   └── tanatan.hpp
│       │   ├── trigonometric.hh
│       │   ├── val.hpp
│       │   ├── var
│       │   │   ├── float.hpp
│       │   │   └── print.hpp
│       │   ├── var-imp
│       │   │   ├── delta.hpp
│       │   │   └── float.hpp
│       │   ├── var-imp.hpp
│       │   ├── view
│       │   │   ├── float.hpp
│       │   │   ├── minus.hpp
│       │   │   ├── offset.hpp
│       │   │   ├── print.hpp
│       │   │   ├── rel-test.hpp
│       │   │   └── scale.hpp
│       │   └── view.hpp
│       ├── float.hh
│       ├── gist
│       │   ├── drawingcursor.hh
│       │   ├── drawingcursor.hpp
│       │   ├── gecodelogo.hh
│       │   ├── gist.hpp
│       │   ├── layoutcursor.hh
│       │   ├── layoutcursor.hpp
│       │   ├── mainwindow.hh
│       │   ├── nodecursor.hh
│       │   ├── nodecursor.hpp
│       │   ├── node.hh
│       │   ├── node.hpp
│       │   ├── nodestats.hh
│       │   ├── nodevisitor.hh
│       │   ├── nodevisitor.hpp
│       │   ├── nodewidget.hh
│       │   ├── preferences.hh
│       │   ├── qtgist.hh
│       │   ├── spacenode.hh
│       │   ├── spacenode.hpp
│       │   ├── stopbrancher.hh
│       │   ├── textoutput.hh
│       │   ├── treecanvas.hh
│       │   ├── visualnode.hh
│       │   ├── visualnode.hpp
│       │   └── zoomToFitIcon.hpp
│       ├── gist.hh
│       ├── int
│       │   ├── arithmetic
│       │   │   ├── abs.hpp
│       │   │   ├── argmax.hpp
│       │   │   ├── divmod.hpp
│       │   │   ├── max.hpp
│       │   │   ├── mult.hpp
│       │   │   ├── nroot.hpp
│       │   │   ├── pow.hpp
│       │   │   └── pow-ops.hpp
│       │   ├── arithmetic.hh
│       │   ├── array.hpp
│       │   ├── array-traits.hpp
│       │   ├── bin-packing
│       │   │   ├── conflict-graph.hpp
│       │   │   └── propagate.hpp
│       │   ├── bin-packing.hh
│       │   ├── bool
│       │   │   ├── base.hpp
│       │   │   ├── clause.hpp
│       │   │   ├── eq.hpp
│       │   │   ├── eqv.hpp
│       │   │   ├── ite.hpp
│       │   │   ├── lq.hpp
│       │   │   └── or.hpp
│       │   ├── bool.hh
│       │   ├── branch
│       │   │   ├── action.hpp
│       │   │   ├── afc.hpp
│       │   │   ├── assign.hpp
│       │   │   ├── chb.hpp
│       │   │   ├── merit.hpp
│       │   │   ├── ngl.hpp
│       │   │   ├── traits.hpp
│       │   │   ├── val-commit.hpp
│       │   │   ├── val.hpp
│       │   │   ├── val-sel.hpp
│       │   │   ├── var.hpp
│       │   │   └── view-values.hpp
│       │   ├── branch.hh
│       │   ├── channel
│       │   │   ├── base.hpp
│       │   │   ├── dom.hpp
│       │   │   ├── link-multi.hpp
│       │   │   ├── link-single.hpp
│       │   │   └── val.hpp
│       │   ├── channel.hh
│       │   ├── channel.hpp
│       │   ├── circuit
│       │   │   ├── base.hpp
│       │   │   ├── dom.hpp
│       │   │   └── val.hpp
│       │   ├── circuit.hh
│       │   ├── count
│       │   │   ├── int-base.hpp
│       │   │   ├── int-eq.hpp
│       │   │   ├── int-gq.hpp
│       │   │   ├── int-lq.hpp
│       │   │   ├── rel.hpp
│       │   │   ├── view-base.hpp
│       │   │   ├── view-eq.hpp
│       │   │   ├── view-gq.hpp
│       │   │   └── view-lq.hpp
│       │   ├── count.hh
│       │   ├── cumulative
│       │   │   ├── edge-finding.hpp
│       │   │   ├── limits.hpp
│       │   │   ├── man-prop.hpp
│       │   │   ├── opt-prop.hpp
│       │   │   ├── overload.hpp
│       │   │   ├── post.hpp
│       │   │   ├── subsumption.hpp
│       │   │   ├── task.hpp
│       │   │   ├── task-view.hpp
│       │   │   ├── time-tabling.hpp
│       │   │   └── tree.hpp
│       │   ├── cumulative.hh
│       │   ├── cumulatives
│       │   │   └── val.hpp
│       │   ├── cumulatives.hh
│       │   ├── distinct
│       │   │   ├── bnd.hpp
│       │   │   ├── dom-ctrl.hpp
│       │   │   ├── dom.hpp
│       │   │   ├── eqite.hpp
│       │   │   ├── graph.hpp
│       │   │   ├── ter-dom.hpp
│       │   │   └── val.hpp
│       │   ├── distinct.hh
│       │   ├── div.hh
│       │   ├── div.hpp
│       │   ├── dom
│       │   │   ├── range.hpp
│       │   │   └── set.hpp
│       │   ├── dom.hh
│       │   ├── element
│       │   │   ├── int.hpp
│       │   │   ├── pair.hpp
│       │   │   └── view.hpp
│       │   ├── element.hh
│       │   ├── exception.hpp
│       │   ├── exec
│       │   │   └── when.hpp
│       │   ├── exec.hh
│       │   ├── extensional
│       │   │   ├── bit-set.hpp
│       │   │   ├── compact.hpp
│       │   │   ├── dfa.hpp
│       │   │   ├── layered-graph.hpp
│       │   │   ├── tiny-bit-set.hpp
│       │   │   └── tuple-set.hpp
│       │   ├── extensional.hh
│       │   ├── gcc
│       │   │   ├── bnd.hpp
│       │   │   ├── bnd-sup.hpp
│       │   │   ├── dom.hpp
│       │   │   ├── dom-sup.hpp
│       │   │   ├── post.hpp
│       │   │   ├── val.hpp
│       │   │   └── view.hpp
│       │   ├── gcc.hh
│       │   ├── idx-view.hh
│       │   ├── idx-view.hpp
│       │   ├── int-set-1.hpp
│       │   ├── int-set-2.hpp
│       │   ├── ipl.hpp
│       │   ├── irt.hpp
│       │   ├── ldsb
│       │   │   ├── brancher.hpp
│       │   │   └── sym-imp.hpp
│       │   ├── ldsb.hh
│       │   ├── limits.hpp
│       │   ├── linear
│       │   │   ├── bool-int.hpp
│       │   │   ├── bool-scale.hpp
│       │   │   ├── bool-view.hpp
│       │   │   ├── int-bin.hpp
│       │   │   ├── int-dom.hpp
│       │   │   ├── int-nary.hpp
│       │   │   ├── int-noview.hpp
│       │   │   ├── int-ter.hpp
│       │   │   └── post.hpp
│       │   ├── linear.hh
│       │   ├── member
│       │   │   ├── prop.hpp
│       │   │   └── re-prop.hpp
│       │   ├── member.hh
│       │   ├── no-overlap
│       │   │   ├── base.hpp
│       │   │   ├── box.hpp
│       │   │   ├── dim.hpp
│       │   │   ├── man.hpp
│       │   │   └── opt.hpp
│       │   ├── no-overlap.hh
│       │   ├── nvalues
│       │   │   ├── bool-base.hpp
│       │   │   ├── bool-eq.hpp
│       │   │   ├── bool-gq.hpp
│       │   │   ├── bool-lq.hpp
│       │   │   ├── graph.hpp
│       │   │   ├── int-base.hpp
│       │   │   ├── int-eq.hpp
│       │   │   ├── int-gq.hpp
│       │   │   ├── int-lq.hpp
│       │   │   ├── range-event.hpp
│       │   │   └── sym-bit-matrix.hpp
│       │   ├── nvalues.hh
│       │   ├── precede
│       │   │   └── single.hpp
│       │   ├── precede.hh
│       │   ├── propagator.hpp
│       │   ├── reify.hpp
│       │   ├── rel
│       │   │   ├── eq.hpp
│       │   │   ├── lex.hpp
│       │   │   ├── lq-le.hpp
│       │   │   └── nq.hpp
│       │   ├── rel.hh
│       │   ├── sequence
│       │   │   ├── int.hpp
│       │   │   ├── set-op.hpp
│       │   │   ├── view.hpp
│       │   │   └── violations.hpp
│       │   ├── sequence.hh
│       │   ├── sorted
│       │   │   ├── matching.hpp
│       │   │   ├── narrowing.hpp
│       │   │   ├── order.hpp
│       │   │   ├── propagate.hpp
│       │   │   └── sortsup.hpp
│       │   ├── sorted.hh
│       │   ├── support-values.hh
│       │   ├── support-values.hpp
│       │   ├── task
│       │   │   ├── array.hpp
│       │   │   ├── event.hpp
│       │   │   ├── fwd-to-bwd.hpp
│       │   │   ├── iter.hpp
│       │   │   ├── man-to-opt.hpp
│       │   │   ├── prop.hpp
│       │   │   ├── purge.hpp
│       │   │   ├── sort.hpp
│       │   │   └── tree.hpp
│       │   ├── task.hh
│       │   ├── trace
│       │   │   ├── bool-delta.hpp
│       │   │   ├── bool-trace-view.hpp
│       │   │   ├── int-delta.hpp
│       │   │   ├── int-trace-view.hpp
│       │   │   └── traits.hpp
│       │   ├── trace.hpp
│       │   ├── unary
│       │   │   ├── detectable.hpp
│       │   │   ├── edge-finding.hpp
│       │   │   ├── man-prop.hpp
│       │   │   ├── not-first-not-last.hpp
│       │   │   ├── opt-prop.hpp
│       │   │   ├── overload.hpp
│       │   │   ├── post.hpp
│       │   │   ├── subsumption.hpp
│       │   │   ├── task.hpp
│       │   │   ├── task-view.hpp
│       │   │   ├── time-tabling.hpp
│       │   │   └── tree.hpp
│       │   ├── unary.hh
│       │   ├── val-set.hh
│       │   ├── val-set.hpp
│       │   ├── var
│       │   │   ├── bool.hpp
│       │   │   ├── int.hpp
│       │   │   └── print.hpp
│       │   ├── var-imp
│       │   │   ├── bool.hpp
│       │   │   ├── delta.hpp
│       │   │   └── int.hpp
│       │   ├── var-imp.hpp
│       │   ├── view
│       │   │   ├── bool.hpp
│       │   │   ├── bool-test.hpp
│       │   │   ├── cached.hpp
│       │   │   ├── constint.hpp
│       │   │   ├── int.hpp
│       │   │   ├── iter.hpp
│       │   │   ├── minus.hpp
│       │   │   ├── neg-bool.hpp
│       │   │   ├── offset.hpp
│       │   │   ├── print.hpp
│       │   │   ├── rel-test.hpp
│       │   │   ├── scale.hpp
│       │   │   └── zero.hpp
│       │   ├── view.hpp
│       │   ├── view-val-graph
│       │   │   ├── bi-link.hpp
│       │   │   ├── comb-ptr-flag.hpp
│       │   │   ├── edge.hpp
│       │   │   ├── graph.hpp
│       │   │   ├── iter-prune-val.hpp
│       │   │   └── node.hpp
│       │   └── view-val-graph.hh
│       ├── int.hh
│       ├── iter
│       │   ├── ranges-add.hpp
│       │   ├── ranges-append.hpp
│       │   ├── ranges-array.hpp
│       │   ├── ranges-cache.hpp
│       │   ├── ranges-compl.hpp
│       │   ├── ranges-diff.hpp
│       │   ├── ranges-empty.hpp
│       │   ├── ranges-inter.hpp
│       │   ├── ranges-list.hpp
│       │   ├── ranges-map.hpp
│       │   ├── ranges-minmax.hpp
│       │   ├── ranges-minus.hpp
│       │   ├── ranges-negative.hpp
│       │   ├── ranges-offset.hpp
│       │   ├── ranges-operations.hpp
│       │   ├── ranges-positive.hpp
│       │   ├── ranges-rangelist.hpp
│       │   ├── ranges-scale.hpp
│       │   ├── ranges-singleton-append.hpp
│       │   ├── ranges-singleton.hpp
│       │   ├── ranges-size.hpp
│       │   ├── ranges-union.hpp
│       │   ├── ranges-values.hpp
│       │   ├── values-array.hpp
│       │   ├── values-bitset.hpp
│       │   ├── values-bitsetoffset.hpp
│       │   ├── values-inter.hpp
│       │   ├── values-list.hpp
│       │   ├── values-map.hpp
│       │   ├── values-minus.hpp
│       │   ├── values-negative.hpp
│       │   ├── values-offset.hpp
│       │   ├── values-positive.hpp
│       │   ├── values-ranges.hpp
│       │   ├── values-singleton.hpp
│       │   ├── values-union.hpp
│       │   └── values-unique.hpp
│       ├── iter.hh
│       ├── kernel
│       │   ├── archive.hpp
│       │   ├── branch
│       │   │   ├── action.hpp
│       │   │   ├── afc.hpp
│       │   │   ├── chb.hpp
│       │   │   ├── filter.hpp
│       │   │   ├── merit.hpp
│       │   │   ├── print.hpp
│       │   │   ├── tiebreak.hpp
│       │   │   ├── traits.hpp
│       │   │   ├── val-commit.hpp
│       │   │   ├── val.hpp
│       │   │   ├── val-sel-commit.hpp
│       │   │   ├── val-sel.hpp
│       │   │   ├── var.hpp
│       │   │   ├── view.hpp
│       │   │   ├── view-sel.hpp
│       │   │   └── view-val.hpp
│       │   ├── core.hpp
│       │   ├── data
│       │   │   ├── array.hpp
│       │   │   ├── rnd.hpp
│       │   │   ├── shared-array.hpp
│       │   │   └── shared-data.hpp
│       │   ├── exception.hpp
│       │   ├── gpi.hpp
│       │   ├── macros.hpp
│       │   ├── memory
│       │   │   ├── allocators.hpp
│       │   │   ├── config.hpp
│       │   │   ├── manager.hpp
│       │   │   └── region.hpp
│       │   ├── modevent.hpp
│       │   ├── propagator
│       │   │   ├── advisor.hpp
│       │   │   ├── pattern.hpp
│       │   │   ├── subscribed.hpp
│       │   │   └── wait.hpp
│       │   ├── range-list.hpp
│       │   ├── shared-object.hpp
│       │   ├── shared-space-data.hpp
│       │   ├── trace
│       │   │   ├── filter.hpp
│       │   │   ├── general.hpp
│       │   │   ├── print.hpp
│       │   │   ├── recorder.hpp
│       │   │   ├── tracer.hpp
│       │   │   └── traits.hpp
│       │   ├── var.hpp
│       │   ├── var-imp.hpp
│       │   ├── var-type.hpp
│       │   └── view.hpp
│       ├── kernel.hh
│       ├── minimodel
│       │   ├── bool-expr.hpp
│       │   ├── exception.hpp
│       │   ├── float-rel.hpp
│       │   ├── int-rel.hpp
│       │   ├── ldsb.hpp
│       │   ├── matrix.hpp
│       │   ├── optimize.hpp
│       │   ├── reg.hpp
│       │   ├── set-expr.hpp
│       │   └── set-rel.hpp
│       ├── minimodel.hh
│       ├── search
│       │   ├── bab.hpp
│       │   ├── base.hpp
│       │   ├── build.hpp
│       │   ├── cpprofiler
│       │   │   ├── connector.hpp
│       │   │   └── message.hpp
│       │   ├── cutoff.hpp
│       │   ├── dfs.hpp
│       │   ├── engine.hpp
│       │   ├── exception.hpp
│       │   ├── lds.hpp
│       │   ├── nogoods.hh
│       │   ├── nogoods.hpp
│       │   ├── options.hpp
│       │   ├── par
│       │   │   ├── bab.hh
│       │   │   ├── bab.hpp
│       │   │   ├── dfs.hh
│       │   │   ├── dfs.hpp
│       │   │   ├── engine.hh
│       │   │   ├── engine.hpp
│       │   │   ├── path.hh
│       │   │   ├── path.hpp
│       │   │   ├── pbs.hh
│       │   │   └── pbs.hpp
│       │   ├── pbs.hpp
│       │   ├── rbs.hpp
│       │   ├── relax.hh
│       │   ├── sebs.hpp
│       │   ├── seq
│       │   │   ├── bab.hh
│       │   │   ├── bab.hpp
│       │   │   ├── dead.hh
│       │   │   ├── dfs.hh
│       │   │   ├── dfs.hpp
│       │   │   ├── lds.hh
│       │   │   ├── lds.hpp
│       │   │   ├── path.hh
│       │   │   ├── path.hpp
│       │   │   ├── pbs.hh
│       │   │   ├── pbs.hpp
│       │   │   ├── rbs.hh
│       │   │   └── rbs.hpp
│       │   ├── statistics.hpp
│       │   ├── stop.hpp
│       │   ├── support.hh
│       │   ├── trace-recorder.hpp
│       │   ├── tracer.hpp
│       │   ├── traits.hpp
│       │   └── worker.hh
│       ├── search.hh
│       ├── set
│       │   ├── array.hpp
│       │   ├── array-traits.hpp
│       │   ├── branch
│       │   │   ├── action.hpp
│       │   │   ├── afc.hpp
│       │   │   ├── assign.hpp
│       │   │   ├── chb.hpp
│       │   │   ├── merit.hpp
│       │   │   ├── ngl.hpp
│       │   │   ├── traits.hpp
│       │   │   ├── val-commit.hpp
│       │   │   ├── val.hpp
│       │   │   ├── val-sel.hpp
│       │   │   └── var.hpp
│       │   ├── branch.hh
│       │   ├── channel
│       │   │   ├── bool.hpp
│       │   │   ├── int.hpp
│       │   │   ├── set.hpp
│       │   │   └── sorted.hpp
│       │   ├── channel.hh
│       │   ├── convex
│       │   │   ├── conv.hpp
│       │   │   └── hull.hpp
│       │   ├── convex.hh
│       │   ├── distinct
│       │   │   └── atmostOne.hpp
│       │   ├── distinct.hh
│       │   ├── element
│       │   │   ├── disjoint.hpp
│       │   │   ├── inter.hpp
│       │   │   ├── unionConst.hpp
│       │   │   └── union.hpp
│       │   ├── element.hh
│       │   ├── exception.hpp
│       │   ├── int
│       │   │   ├── card.hpp
│       │   │   ├── minmax.hpp
│       │   │   └── weights.hpp
│       │   ├── int.hh
│       │   ├── int.hpp
│       │   ├── ldsb
│       │   │   └── brancher.hpp
│       │   ├── ldsb.hh
│       │   ├── limits.hpp
│       │   ├── precede
│       │   │   └── single.hpp
│       │   ├── precede.hh
│       │   ├── rel
│       │   │   ├── common.hpp
│       │   │   ├── eq.hpp
│       │   │   ├── lq.hpp
│       │   │   ├── nosubset.hpp
│       │   │   ├── nq.hpp
│       │   │   ├── re-eq.hpp
│       │   │   ├── re-lq.hpp
│       │   │   ├── re-subset.hpp
│       │   │   └── subset.hpp
│       │   ├── rel.hh
│       │   ├── rel-op
│       │   │   ├── common.hpp
│       │   │   ├── inter.hpp
│       │   │   ├── partition.hpp
│       │   │   ├── post.hpp
│       │   │   ├── subofunion.hpp
│       │   │   ├── superofinter.hpp
│       │   │   └── union.hpp
│       │   ├── rel-op.hh
│       │   ├── sequence
│       │   │   ├── common.hpp
│       │   │   ├── seq.hpp
│       │   │   └── seq-u.hpp
│       │   ├── sequence.hh
│       │   ├── trace
│       │   │   ├── delta.hpp
│       │   │   ├── trace-view.hpp
│       │   │   └── traits.hpp
│       │   ├── trace.hpp
│       │   ├── var
│       │   │   ├── print.hpp
│       │   │   └── set.hpp
│       │   ├── var-imp
│       │   │   ├── delta.hpp
│       │   │   ├── integerset.hpp
│       │   │   ├── iter.hpp
│       │   │   └── set.hpp
│       │   ├── var-imp.hpp
│       │   ├── view
│       │   │   ├── cached.hpp
│       │   │   ├── complement.hpp
│       │   │   ├── const.hpp
│       │   │   ├── print.hpp
│       │   │   ├── set.hpp
│       │   │   └── singleton.hpp
│       │   └── view.hpp
│       ├── set.hh
│       ├── support
│       │   ├── allocator.hpp
│       │   ├── auto-link.hpp
│       │   ├── bitset-base.hpp
│       │   ├── bitset.hpp
│       │   ├── bitset-offset.hpp
│       │   ├── block-allocator.hpp
│       │   ├── cast.hpp
│       │   ├── config.hpp
│       │   ├── dynamic-array.hpp
│       │   ├── dynamic-queue.hpp
│       │   ├── dynamic-stack.hpp
│       │   ├── exception.hpp
│       │   ├── hash.hpp
│       │   ├── heap.hpp
│       │   ├── hw-rnd.hpp
│       │   ├── int-type.hpp
│       │   ├── macros.hpp
│       │   ├── marked-pointer.hpp
│       │   ├── random.hpp
│       │   ├── ref-count.hpp
│       │   ├── run-jobs.hpp
│       │   ├── sort.hpp
│       │   ├── static-stack.hpp
│       │   ├── thread
│       │   │   ├── none.hpp
│       │   │   ├── pthreads.hpp
│       │   │   ├── thread.hpp
│       │   │   └── windows.hpp
│       │   ├── thread.hpp
│       │   └── timer.hpp
│       ├── support.hh
│       └── third-party
│           └── boost
│               ├── config
│               │   ├── compiler
│               │   │   ├── borland.hpp
│               │   │   ├── clang.hpp
│               │   │   ├── codegear.hpp
│               │   │   ├── comeau.hpp
│               │   │   ├── common_edg.hpp
│               │   │   ├── compaq_cxx.hpp
│               │   │   ├── digitalmars.hpp
│               │   │   ├── gcc.hpp
│               │   │   ├── gcc_xml.hpp
│               │   │   ├── greenhills.hpp
│               │   │   ├── hp_acc.hpp
│               │   │   ├── intel.hpp
│               │   │   ├── kai.hpp
│               │   │   ├── metrowerks.hpp
│               │   │   ├── mpw.hpp
│               │   │   ├── nvcc.hpp
│               │   │   ├── pathscale.hpp
│               │   │   ├── pgi.hpp
│               │   │   ├── sgi_mipspro.hpp
│               │   │   ├── sunpro_cc.hpp
│               │   │   ├── vacpp.hpp
│               │   │   └── visualc.hpp
│               │   ├── no_tr1
│               │   │   ├── cmath.hpp
│               │   │   └── utility.hpp
│               │   ├── platform
│               │   │   ├── aix.hpp
│               │   │   ├── amigaos.hpp
│               │   │   ├── beos.hpp
│               │   │   ├── bsd.hpp
│               │   │   ├── cygwin.hpp
│               │   │   ├── hpux.hpp
│               │   │   ├── irix.hpp
│               │   │   ├── linux.hpp
│               │   │   ├── macos.hpp
│               │   │   ├── qnxnto.hpp
│               │   │   ├── solaris.hpp
│               │   │   ├── symbian.hpp
│               │   │   ├── vms.hpp
│               │   │   ├── vxworks.hpp
│               │   │   └── win32.hpp
│               │   ├── posix_features.hpp
│               │   ├── select_compiler_config.hpp
│               │   ├── select_platform_config.hpp
│               │   ├── select_stdlib_config.hpp
│               │   ├── stdlib
│               │   │   ├── dinkumware.hpp
│               │   │   ├── libcomo.hpp
│               │   │   ├── libcpp.hpp
│               │   │   ├── libstdcpp3.hpp
│               │   │   ├── modena.hpp
│               │   │   ├── msl.hpp
│               │   │   ├── roguewave.hpp
│               │   │   ├── sgi.hpp
│               │   │   ├── stlport.hpp
│               │   │   └── vacpp.hpp
│               │   ├── suffix.hpp
│               │   └── user.hpp
│               ├── config.hpp
│               ├── detail
│               │   ├── endian.hpp
│               │   └── limits.hpp
│               ├── LICENSE_1_0.txt
│               ├── limits.hpp
│               ├── non_type.hpp
│               ├── numeric
│               │   ├── interval
│               │   │   ├── arith2.hpp
│               │   │   ├── arith3.hpp
│               │   │   ├── arith.hpp
│               │   │   ├── checking.hpp
│               │   │   ├── compare
│               │   │   │   ├── certain.hpp
│               │   │   │   ├── explicit.hpp
│               │   │   │   ├── lexicographic.hpp
│               │   │   │   ├── possible.hpp
│               │   │   │   └── set.hpp
│               │   │   ├── compare.hpp
│               │   │   ├── constants.hpp
│               │   │   ├── detail
│               │   │   │   ├── alpha_rounding_control.hpp
│               │   │   │   ├── bcc_rounding_control.hpp
│               │   │   │   ├── bugs.hpp
│               │   │   │   ├── c99_rounding_control.hpp
│               │   │   │   ├── c99sub_rounding_control.hpp
│               │   │   │   ├── division.hpp
│               │   │   │   ├── ia64_rounding_control.hpp
│               │   │   │   ├── interval_prototype.hpp
│               │   │   │   ├── msvc_rounding_control.hpp
│               │   │   │   ├── ppc_rounding_control.hpp
│               │   │   │   ├── sparc_rounding_control.hpp
│               │   │   │   ├── test_input.hpp
│               │   │   │   ├── x86gcc_rounding_control.hpp
│               │   │   │   └── x86_rounding_control.hpp
│               │   │   ├── hw_rounding.hpp
│               │   │   ├── interval.hpp
│               │   │   ├── policies.hpp
│               │   │   ├── rounded_arith.hpp
│               │   │   ├── rounded_transc.hpp
│               │   │   ├── rounding.hpp
│               │   │   ├── transc.hpp
│               │   │   └── utility.hpp
│               │   └── interval.hpp
│               └── type.hpp
├── lib
│   ├── libgecodedriver.so -> libgecodedriver.so.46.0
│   ├── libgecodedriver.so.46 -> libgecodedriver.so.46.0
│   ├── libgecodedriver.so.46.0
│   ├── libgecodeflatzinc.so -> libgecodeflatzinc.so.46.0
│   ├── libgecodeflatzinc.so.46 -> libgecodeflatzinc.so.46.0
│   ├── libgecodeflatzinc.so.46.0
│   ├── libgecodefloat.so -> libgecodefloat.so.46.0
│   ├── libgecodefloat.so.46 -> libgecodefloat.so.46.0
│   ├── libgecodefloat.so.46.0
│   ├── libgecodeint.so -> libgecodeint.so.46.0
│   ├── libgecodeint.so.46 -> libgecodeint.so.46.0
│   ├── libgecodeint.so.46.0
│   ├── libgecodekernel.so -> libgecodekernel.so.46.0
│   ├── libgecodekernel.so.46 -> libgecodekernel.so.46.0
│   ├── libgecodekernel.so.46.0
│   ├── libgecodeminimodel.so -> libgecodeminimodel.so.46.0
│   ├── libgecodeminimodel.so.46 -> libgecodeminimodel.so.46.0
│   ├── libgecodeminimodel.so.46.0
│   ├── libgecodesearch.so -> libgecodesearch.so.46.0
│   ├── libgecodesearch.so.46 -> libgecodesearch.so.46.0
│   ├── libgecodesearch.so.46.0
│   ├── libgecodeset.so -> libgecodeset.so.46.0
│   ├── libgecodeset.so.46 -> libgecodeset.so.46.0
│   ├── libgecodeset.so.46.0
│   ├── libgecodesupport.so -> libgecodesupport.so.46.0
│   ├── libgecodesupport.so.46 -> libgecodesupport.so.46.0
│   └── libgecodesupport.so.46.0
└── share
    └── gecode
        └── mznlib
            ├── alldifferent_except_0.mzn
            ├── all_different_int.mzn
            ├── all_equal_int.mzn
            ├── among.mzn
            ├── arg_max_int.mzn
            ├── arg_min_int.mzn
            ├── at_least_int.mzn
            ├── at_least_set.mzn
            ├── at_most_int.mzn
            ├── at_most_set.mzn
            ├── bin_packing_capa.mzn
            ├── bin_packing_load.mzn
            ├── bin_packing.mzn
            ├── circuit.mzn
            ├── count.mzn
            ├── cumulative.mzn
            ├── decreasing_bool.mzn
            ├── decreasing_int.mzn
            ├── diffn.mzn
            ├── disjoint.mzn
            ├── disjunctive_strict.mzn
            ├── distribute.mzn
            ├── exactly_int.mzn
            ├── exactly_set.mzn
            ├── gecode.mzn
            ├── global_cardinality_closed.mzn
            ├── global_cardinality_low_up_closed.mzn
            ├── global_cardinality_low_up.mzn
            ├── global_cardinality.mzn
            ├── increasing_bool.mzn
            ├── increasing_int.mzn
            ├── int_set_channel.mzn
            ├── inverse.mzn
            ├── inverse_set.mzn
            ├── lex_less_bool.mzn
            ├── lex_lesseq_bool.mzn
            ├── lex_lesseq_int.mzn
            ├── lex_less_int.mzn
            ├── link_set_to_booleans.mzn
            ├── maximum_int.mzn
            ├── member_bool.mzn
            ├── member_int.mzn
            ├── minimum_int.mzn
            ├── nvalue.mzn
            ├── partition_set.mzn
            ├── range.mzn
            ├── redefinitions-2.0.mzn
            ├── redefinitions.mzn
            ├── regular.mzn
            ├── roots.mzn
            ├── sort.mzn
            ├── sum_pred.mzn
            ├── table_bool.mzn
            ├── table_int.mzn
            ├── value_precede_int.mzn
            └── value_precede_set.mzn

98 directories, 819 files