Created
April 14, 2019 18:49
-
-
Save ryantm/83bc069f8599db22a196c3752614c78d to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /nix/store/b1vc22zb0z0aqn4ahp1dljmknaysf7xm-gecode-6.2.0 | |
| ├── bin | |
| │ ├── all-interval | |
| │ ├── alpha | |
| │ ├── archimedean-spiral | |
| │ ├── 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 | |
| │ ├── golden-spiral | |
| │ ├── golf | |
| │ ├── golomb-ruler | |
| │ ├── graph-color | |
| │ ├── grocery | |
| │ ├── hamming | |
| │ ├── ind-set | |
| │ ├── job-shop | |
| │ ├── 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 | |
| │ ├── sudoku-advanced | |
| │ ├── 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 | |
| │ │ ├── branch.hpp | |
| │ │ ├── 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 | |
| │ │ │ ├── cbs.hpp | |
| │ │ │ ├── chb.hpp | |
| │ │ │ ├── merit.hpp | |
| │ │ │ ├── ngl.hpp | |
| │ │ │ ├── traits.hpp | |
| │ │ │ ├── val-commit.hpp | |
| │ │ │ ├── val.hpp | |
| │ │ │ ├── val-sel.hpp | |
| │ │ │ ├── var.hpp | |
| │ │ │ └── view-values.hpp | |
| │ │ ├── branch.hh | |
| │ │ ├── branch.hpp | |
| │ │ ├── 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 | |
| │ │ │ ├── cbs.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 | |
| │ │ ├── extensional.hpp | |
| │ │ ├── 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 | |
| │ │ ├── order | |
| │ │ │ └── propagate.hpp | |
| │ │ ├── order.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 | |
| │ │ ├── aliases.hpp | |
| │ │ ├── bool-expr.hpp | |
| │ │ ├── channel.hpp | |
| │ │ ├── exception.hpp | |
| │ │ ├── float-expr.hpp | |
| │ │ ├── float-rel.hpp | |
| │ │ ├── int-expr.hpp | |
| │ │ ├── int-rel.hpp | |
| │ │ ├── ipl.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 | |
| │ │ ├── branch.hpp | |
| │ │ ├── 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.49.0 | |
| │ ├── libgecodedriver.so.49 -> libgecodedriver.so.49.0 | |
| │ ├── libgecodedriver.so.49.0 | |
| │ ├── libgecodeflatzinc.so -> libgecodeflatzinc.so.49.0 | |
| │ ├── libgecodeflatzinc.so.49 -> libgecodeflatzinc.so.49.0 | |
| │ ├── libgecodeflatzinc.so.49.0 | |
| │ ├── libgecodefloat.so -> libgecodefloat.so.49.0 | |
| │ ├── libgecodefloat.so.49 -> libgecodefloat.so.49.0 | |
| │ ├── libgecodefloat.so.49.0 | |
| │ ├── libgecodegist.so -> libgecodegist.so.49.0 | |
| │ ├── libgecodegist.so.49 -> libgecodegist.so.49.0 | |
| │ ├── libgecodegist.so.49.0 | |
| │ ├── libgecodeint.so -> libgecodeint.so.49.0 | |
| │ ├── libgecodeint.so.49 -> libgecodeint.so.49.0 | |
| │ ├── libgecodeint.so.49.0 | |
| │ ├── libgecodekernel.so -> libgecodekernel.so.49.0 | |
| │ ├── libgecodekernel.so.49 -> libgecodekernel.so.49.0 | |
| │ ├── libgecodekernel.so.49.0 | |
| │ ├── libgecodeminimodel.so -> libgecodeminimodel.so.49.0 | |
| │ ├── libgecodeminimodel.so.49 -> libgecodeminimodel.so.49.0 | |
| │ ├── libgecodeminimodel.so.49.0 | |
| │ ├── libgecodesearch.so -> libgecodesearch.so.49.0 | |
| │ ├── libgecodesearch.so.49 -> libgecodesearch.so.49.0 | |
| │ ├── libgecodesearch.so.49.0 | |
| │ ├── libgecodeset.so -> libgecodeset.so.49.0 | |
| │ ├── libgecodeset.so.49 -> libgecodeset.so.49.0 | |
| │ ├── libgecodeset.so.49.0 | |
| │ ├── libgecodesupport.so -> libgecodesupport.so.49.0 | |
| │ ├── libgecodesupport.so.49 -> libgecodesupport.so.49.0 | |
| │ └── libgecodesupport.so.49.0 | |
| ├── nix-support | |
| │ └── propagated-user-env-packages | |
| └── share | |
| └── gecode | |
| └── mznlib | |
| ├── alldifferent_except_0.mzn | |
| ├── all_different_int.mzn | |
| ├── all_equal_int.mzn | |
| ├── among.mzn | |
| ├── arg_max_bool.mzn | |
| ├── arg_max_int.mzn | |
| ├── arg_min_bool.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 | |
| 100 directories, 842 files |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment