gecoder-with-gecode 0.9.0 → 0.9.1
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGES +6 -0
- data/README +1 -1
- data/THANKS +18 -0
- data/example/equation_system.rb +3 -1
- data/example/magic_sequence.rb +3 -1
- data/example/queens.rb +3 -1
- data/example/send_more_money.rb +24 -30
- data/example/send_most_money.rb +15 -26
- data/example/square_tiling.rb +3 -1
- data/example/sudoku-set.rb +3 -1
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/LICENSE +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/Makefile.contribs +0 -0
- data/ext/gecode-2.2.0/Makefile.dep +8056 -0
- data/ext/gecode-2.2.0/Makefile.in +1590 -0
- data/ext/gecode-2.2.0/changelog.in +2698 -0
- data/ext/gecode-2.2.0/configure +13112 -0
- data/ext/gecode-2.2.0/configure.ac +273 -0
- data/ext/gecode-2.2.0/configure.ac.in +269 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/README +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/Doxyfile +263 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.cc +267 -0
- data/ext/gecode-2.2.0/contribs/qecode/Implicative.hh +164 -0
- data/ext/gecode-2.2.0/contribs/qecode/Makefile.in.in +163 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.cc +82 -0
- data/ext/gecode-2.2.0/contribs/qecode/OptVar.hh +123 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.cc +131 -0
- data/ext/gecode-2.2.0/contribs/qecode/Strategy.hh +91 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc +62 -0
- data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh +47 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0 +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests +115 -0
- data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0 +57 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.log +147 -0
- data/ext/gecode-2.2.0/contribs/qecode/config.status +817 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure +2264 -0
- data/ext/gecode-2.2.0/contribs/qecode/configure.ac +23 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/COMPILING +13 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp +140 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp +73 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp +842 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc +146 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc +149 -0
- data/ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp +240 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/heap.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myDom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myspace.cc +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/myspace.hh +68 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/qecode.hh +0 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.cc +268 -0
- data/ext/gecode-2.2.0/contribs/qecode/qsolver.hh +46 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/shortdesc.ac +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/vartype.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/doxygen/doxygen.conf.in +0 -0
- data/ext/gecode-2.2.0/doxygen/doxygen.hh.in +1112 -0
- data/ext/gecode-2.2.0/doxygen/reflection.hh +417 -0
- data/ext/gecode-2.2.0/examples/all-interval.cc +133 -0
- data/ext/gecode-2.2.0/examples/alpha.cc +137 -0
- data/ext/gecode-2.2.0/examples/bacp.cc +521 -0
- data/ext/gecode-2.2.0/examples/baseline.cc +87 -0
- data/ext/gecode-2.2.0/examples/bibd.cc +203 -0
- data/ext/gecode-2.2.0/examples/black-hole.cc +389 -0
- data/ext/gecode-2.2.0/examples/crew.cc +286 -0
- data/ext/gecode-2.2.0/examples/crowded-chess.cc +424 -0
- data/ext/gecode-2.2.0/examples/domino.cc +297 -0
- data/ext/gecode-2.2.0/examples/donald.cc +107 -0
- data/ext/gecode-2.2.0/examples/eq20.cc +125 -0
- data/ext/gecode-2.2.0/examples/golf.cc +297 -0
- data/ext/gecode-2.2.0/examples/golomb-ruler.cc +199 -0
- data/ext/gecode-2.2.0/examples/graph-color.cc +407 -0
- data/ext/gecode-2.2.0/examples/grocery.cc +113 -0
- data/ext/gecode-2.2.0/examples/hamming.cc +129 -0
- data/ext/gecode-2.2.0/examples/ind-set.cc +143 -0
- data/ext/gecode-2.2.0/examples/javascript.cc +163 -0
- data/ext/gecode-2.2.0/examples/kakuro.cc +686 -0
- data/ext/gecode-2.2.0/examples/knights.cc +220 -0
- data/ext/gecode-2.2.0/examples/langford-number.cc +225 -0
- data/ext/gecode-2.2.0/examples/magic-sequence.cc +146 -0
- data/ext/gecode-2.2.0/examples/magic-square.cc +138 -0
- data/ext/gecode-2.2.0/examples/minesweeper.cc +304 -0
- data/ext/gecode-2.2.0/examples/money.cc +105 -0
- data/ext/gecode-2.2.0/examples/nonogram.cc +492 -0
- data/ext/gecode-2.2.0/examples/ortho-latin.cc +172 -0
- data/ext/gecode-2.2.0/examples/partition.cc +141 -0
- data/ext/gecode-2.2.0/examples/pentominoes.cc +949 -0
- data/ext/gecode-2.2.0/examples/perfect-square.cc +311 -0
- data/ext/gecode-2.2.0/examples/photo.cc +170 -0
- data/ext/gecode-2.2.0/examples/queen-armies.cc +284 -0
- data/ext/gecode-2.2.0/examples/queens.cc +147 -0
- data/ext/gecode-2.2.0/examples/queens.js +57 -0
- data/ext/gecode-2.2.0/examples/sports-league.cc +342 -0
- data/ext/gecode-2.2.0/examples/steiner.cc +192 -0
- data/ext/gecode-2.2.0/examples/stress-distinct.cc +90 -0
- data/ext/gecode-2.2.0/examples/stress-domain.cc +99 -0
- data/ext/gecode-2.2.0/examples/stress-element.cc +112 -0
- data/ext/gecode-2.2.0/examples/stress-exec.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-extensional.cc +134 -0
- data/ext/gecode-2.2.0/examples/stress-linear-bool.cc +97 -0
- data/ext/gecode-2.2.0/examples/stress-min.cc +98 -0
- data/ext/gecode-2.2.0/examples/stress-search.cc +88 -0
- data/ext/gecode-2.2.0/examples/sudoku.cc +2341 -0
- data/ext/gecode-2.2.0/examples/support.hh +338 -0
- data/ext/gecode-2.2.0/examples/support/example.cc +64 -0
- data/ext/gecode-2.2.0/examples/support/example.icc +321 -0
- data/ext/gecode-2.2.0/examples/support/options.cc +226 -0
- data/ext/gecode-2.2.0/examples/support/options.icc +276 -0
- data/ext/gecode-2.2.0/examples/tsp.cc +317 -0
- data/ext/gecode-2.2.0/examples/warehouses.cc +191 -0
- data/ext/gecode-2.2.0/gecode.m4 +1046 -0
- data/ext/gecode-2.2.0/gecode/cpltset.hh +797 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/atmost.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/partition.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rangeroots.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/select.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/singleton.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/binary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/naryone.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/narytwo.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/unary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/cpltset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/better.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.cc +281 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.hh +103 -0
- data/ext/gecode-2.2.0/gecode/gist/drawingcursor.icc +70 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.cc +672 -0
- data/ext/gecode-2.2.0/gecode/gist/gecodelogo.hh +64 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.cc +115 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/layoutcursor.icc +48 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.cc +274 -0
- data/ext/gecode-2.2.0/gecode/gist/mainwindow.hh +86 -0
- data/ext/gecode-2.2.0/gecode/gist/node.cc +148 -0
- data/ext/gecode-2.2.0/gecode/gist/node.hh +117 -0
- data/ext/gecode-2.2.0/gecode/gist/node.icc +99 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.cc +123 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.hh +147 -0
- data/ext/gecode-2.2.0/gecode/gist/nodecursor.icc +122 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.icc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.cc +120 -0
- data/ext/gecode-2.2.0/gecode/gist/preferences.hh +79 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.cc +468 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.hh +227 -0
- data/ext/gecode-2.2.0/gecode/gist/spacenode.icc +170 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/test.cc +0 -0
- data/ext/gecode-2.2.0/gecode/gist/textoutput.cc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/textoutput.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.cc +1343 -0
- data/ext/gecode-2.2.0/gecode/gist/treecanvas.hh +361 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/ui_addchild.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh +165 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc +192 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh +75 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc +235 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh +77 -0
- data/ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh +125 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayviewt.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.hh +0 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.cc +474 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.hh +226 -0
- data/ext/gecode-2.2.0/gecode/gist/visualnode.icc +198 -0
- data/ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc +113 -0
- data/ext/gecode-2.2.0/gecode/int.hh +2116 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.cc +237 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic.hh +827 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc +278 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc +496 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/max.icc +474 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc +858 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc +464 -0
- data/ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool.cc +734 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eqv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/lq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/bool/or.icc +1000 -0
- data/ext/gecode-2.2.0/gecode/int/branch.cc +167 -0
- data/ext/gecode-2.2.0/gecode/int/branch.hh +587 -0
- data/ext/gecode-2.2.0/gecode/int/branch/create-branch.icc +190 -0
- data/ext/gecode-2.2.0/gecode/int/branch/select-val.icc +340 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/branch/select-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel.cc +165 -0
- data/ext/gecode-2.2.0/gecode/int/channel.hh +259 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/base.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/dom.icc +348 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/channel/val.icc +278 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit.hh +175 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/base.icc +266 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit/dom.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/circuit/val.icc +126 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/count.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/count.hh +487 -0
- data/ext/gecode-2.2.0/gecode/int/count/int.icc +620 -0
- data/ext/gecode-2.2.0/gecode/int/count/rel.icc +144 -0
- data/ext/gecode-2.2.0/gecode/int/count/view.icc +449 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/cumulatives.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives.hh +138 -0
- data/ext/gecode-2.2.0/gecode/int/cumulatives/val.icc +455 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct.hh +341 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bilink.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bnd.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/combptr.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/dom.icc +752 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/edge.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/node.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc +136 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/range.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/spec.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/element.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/element.hh +239 -0
- data/ext/gecode-2.2.0/gecode/int/element/int.icc +444 -0
- data/ext/gecode-2.2.0/gecode/int/element/view.icc +584 -0
- data/ext/gecode-2.2.0/gecode/int/exception.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional.hh +415 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/base.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/basic.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/bitset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/dfa.cc +565 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/dfa.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/incremental.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/layered-graph.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc +285 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/tuple-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc.hh +329 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/bnd.icc +660 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/dom.icc +531 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/gccbndsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/graphsup.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/lbc.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/occur.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/ubc.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/gcc/val.icc +400 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.cc +157 -0
- data/ext/gecode-2.2.0/gecode/int/int-set.icc +195 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/limits.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear-bool.cc +235 -0
- data/ext/gecode-2.2.0/gecode/int/linear-int.cc +272 -0
- data/ext/gecode-2.2.0/gecode/int/linear.hh +1849 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-int.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/bool-post.cc +433 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-view.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-bin.icc +605 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-dom.icc +539 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-noview.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/linear/int-post.cc +493 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-ter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel.cc +420 -0
- data/ext/gecode-2.2.0/gecode/int/rel.hh +627 -0
- data/ext/gecode-2.2.0/gecode/int/rel/eq.icc +885 -0
- data/ext/gecode-2.2.0/gecode/int/rel/lex.icc +275 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/rel/lq-le.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/rel/nq.icc +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.cc +81 -0
- data/ext/gecode-2.2.0/gecode/int/sorted.hh +118 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/matching.icc +173 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc +249 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/order.icc +212 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/propagate.icc +702 -0
- data/ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc +563 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.hh +158 -0
- data/ext/gecode-2.2.0/gecode/int/support-values.icc +203 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/unshare.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp.icc +745 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/bool.cc +105 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/delta.icc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var-imp/int.cc +408 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/bool.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/bool.icc +128 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/int.cc +0 -0
- data/ext/gecode-2.2.0/gecode/int/var/int.icc +153 -0
- data/ext/gecode-2.2.0/gecode/int/view.icc +1918 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/constint.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/iter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/minus.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/rtest.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/zero.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter.hh +98 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-add.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-cache.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-diff.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-empty.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-inter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-map.icc +260 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minus.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-negative.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-operations.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/ranges-positive.icc +139 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-scale.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton-append.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-size.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-values.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-inter.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-map.icc +136 -0
- data/ext/gecode-2.2.0/gecode/iter/values-minus.icc +130 -0
- data/ext/gecode-2.2.0/gecode/iter/values-negative.icc +116 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-offset.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-positive.icc +123 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-ranges.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-singleton.icc +0 -0
- data/ext/gecode-2.2.0/gecode/iter/values-union.icc +137 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-unique.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-compl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-inter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel.hh +188 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/advisor.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/branching.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.cc +474 -0
- data/ext/gecode-2.2.0/gecode/kernel/core.icc +2311 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/memory-manager.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/memory-manager.icc +454 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/modevent.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/propagator.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.cc +951 -0
- data/ext/gecode-2.2.0/gecode/kernel/reflection.icc +1213 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/shared-array.icc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-imp.icc +433 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.cc +269 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-map.icc +230 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-traits.icc +79 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/var-type.cc +0 -0
- data/ext/gecode-2.2.0/gecode/kernel/var-type.icc +915 -0
- data/ext/gecode-2.2.0/gecode/kernel/var.icc +114 -0
- data/ext/gecode-2.2.0/gecode/kernel/view.icc +413 -0
- data/ext/gecode-2.2.0/gecode/minimodel.hh +1206 -0
- data/ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc +118 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-rel.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/matrix.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/reg.cc +0 -0
- data/ext/gecode-2.2.0/gecode/search.hh +759 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/engine-ctrl.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.icc +0 -0
- data/ext/gecode-2.2.0/gecode/search/reco-stack.icc +277 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/restart.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/statistics.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.icc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization.hh +149 -0
- data/ext/gecode-2.2.0/gecode/serialization/boost.cc +78 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/boost.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/flatzinc.cc +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/javascript.cc +343 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/javascript.hh +0 -0
- data/ext/gecode-2.2.0/gecode/serialization/register.cc +8498 -0
- data/ext/gecode-2.2.0/gecode/set.hh +970 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-val.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-view.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/cardinality.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/dom.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/element.cc +135 -0
- data/ext/gecode-2.2.0/gecode/set/element.hh +233 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.cc +308 -0
- data/ext/gecode-2.2.0/gecode/set/element/disjoint.icc +75 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.hh +113 -0
- data/ext/gecode-2.2.0/gecode/set/element/idxarray.icc +155 -0
- data/ext/gecode-2.2.0/gecode/set/element/inter.icc +348 -0
- data/ext/gecode-2.2.0/gecode/set/element/union.icc +371 -0
- data/ext/gecode-2.2.0/gecode/set/element/unionConst.icc +334 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-bool.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-int.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/match.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/minmax.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/weights.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/limits.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors-compiler.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors.hh +438 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/compiler.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/projectors/formula.cc +312 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/formula.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/card.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/propagator.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op-const.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.hh +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/common.icc +613 -0
- data/ext/gecode-2.2.0/gecode/set/rel-op/inter.icc +452 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/partition.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/post.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/subofunion.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/superofinter.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/union.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/eq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nosubset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/re-eq.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/rel/re-subset.icc +174 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/subset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.hh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/common.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/delta.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/iter.icc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var-imp/set.cc +215 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.vis +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var/set.cc +0 -0
- data/ext/gecode-2.2.0/gecode/set/var/set.icc +303 -0
- data/ext/gecode-2.2.0/gecode/set/view.icc +1451 -0
- data/ext/gecode-2.2.0/gecode/set/view/complement.icc +614 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/const.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/offset.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/print.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/set.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/singleton.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support.hh +0 -0
- data/ext/gecode-2.2.0/gecode/support/block-allocator.icc +159 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/AUTHORS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/ChangeLog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/NEWS +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/README +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddio.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddop.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddtree.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/config.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cppext.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/pairs.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.h +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/reorder.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/tree.c +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/cast.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/config.icc.in +83 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-array.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-stack.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.cc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/macros.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/map.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/marked-pointer.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/memory.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/random.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/sentinel-stack.icc +138 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/sort.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-pqueue.icc +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-stack.icc +0 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.cc +241 -0
- data/ext/gecode-2.2.0/gecode/support/symbol.icc +134 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/install-sh +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/AppleHelpbookInfo.plist +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/allexamples.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/Makefile.am +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/changelog +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/control +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/copyright +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.info +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.install +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.spec +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/rules +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/back.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/footer.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/gecode-logo-100.png +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/header.html +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/stylesheet.css +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/fixproperties.sh +0 -0
- data/ext/gecode-2.2.0/misc/gecode-gist.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-minimodel.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-search.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode-serialization.pc.in +45 -0
- data/ext/gecode-2.2.0/misc/gecode.pc.in +45 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genchangelog.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlcovmakefile.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlicense.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genregistry.perl +0 -0
- data/ext/gecode-2.2.0/misc/genstatistics.perl +179 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/gentxtchangelog.perl +0 -0
- data/ext/gecode-2.2.0/misc/genvariables.perl +905 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/getrevision.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/makedepend.perl +0 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/svn-ignore.txt +0 -0
- data/ext/gecode-2.2.0/test/assign.cc +181 -0
- data/ext/gecode-2.2.0/test/assign.hh +93 -0
- data/ext/gecode-2.2.0/test/assign/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/assign/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch.cc +563 -0
- data/ext/gecode-2.2.0/test/branch.hh +144 -0
- data/ext/gecode-2.2.0/test/branch/bool.cc +61 -0
- data/ext/gecode-2.2.0/test/branch/cpltset.cc +71 -0
- data/ext/gecode-2.2.0/test/branch/int.cc +70 -0
- data/ext/gecode-2.2.0/test/branch/set.cc +74 -0
- data/ext/gecode-2.2.0/test/cpltset.cc +568 -0
- data/ext/gecode-2.2.0/test/cpltset.hh +125 -0
- data/ext/gecode-2.2.0/test/cpltset/atmost.cc +155 -0
- data/ext/gecode-2.2.0/test/cpltset/cardinality.cc +138 -0
- data/ext/gecode-2.2.0/test/cpltset/dom.cc +137 -0
- data/ext/gecode-2.2.0/test/cpltset/partition.cc +210 -0
- data/ext/gecode-2.2.0/test/cpltset/rel.cc +158 -0
- data/ext/gecode-2.2.0/test/cpltset/select.cc +216 -0
- data/ext/gecode-2.2.0/test/int.cc +688 -0
- data/ext/gecode-2.2.0/test/int.hh +267 -0
- data/ext/gecode-2.2.0/test/int.icc +266 -0
- data/ext/gecode-2.2.0/test/int/arithmetic.cc +766 -0
- data/ext/gecode-2.2.0/test/int/basic.cc +77 -0
- data/ext/gecode-2.2.0/test/int/bool.cc +340 -0
- data/ext/gecode-2.2.0/test/int/channel.cc +238 -0
- data/ext/gecode-2.2.0/test/int/circuit.cc +100 -0
- data/ext/gecode-2.2.0/test/int/count.cc +357 -0
- data/ext/gecode-2.2.0/test/int/distinct.cc +248 -0
- data/ext/gecode-2.2.0/test/int/dom.cc +123 -0
- data/ext/gecode-2.2.0/test/int/element.cc +333 -0
- data/ext/gecode-2.2.0/test/int/extensional.cc +475 -0
- data/ext/gecode-2.2.0/test/int/gcc.cc +293 -0
- data/ext/gecode-2.2.0/test/int/linear.cc +383 -0
- data/ext/gecode-2.2.0/test/int/mm-arithmetic.cc +302 -0
- data/ext/gecode-2.2.0/test/int/mm-bool.cc +4342 -0
- data/ext/gecode-2.2.0/test/int/mm-count.cc +295 -0
- data/ext/gecode-2.2.0/test/int/mm-lin.cc +2035 -0
- data/ext/gecode-2.2.0/test/int/mm-rel.cc +136 -0
- data/ext/gecode-2.2.0/test/int/rel.cc +416 -0
- data/ext/gecode-2.2.0/test/int/scheduling.cc +276 -0
- data/ext/gecode-2.2.0/test/int/sorted.cc +165 -0
- data/ext/gecode-2.2.0/test/int/unshare.cc +109 -0
- data/ext/gecode-2.2.0/test/search.cc +618 -0
- data/ext/gecode-2.2.0/test/set.cc +753 -0
- data/ext/gecode-2.2.0/test/set.hh +286 -0
- data/ext/gecode-2.2.0/test/set.icc +108 -0
- data/ext/gecode-2.2.0/test/set/convex.cc +139 -0
- data/ext/gecode-2.2.0/test/set/distinct.cc +116 -0
- data/ext/gecode-2.2.0/test/set/dom.cc +292 -0
- data/ext/gecode-2.2.0/test/set/int.cc +473 -0
- data/ext/gecode-2.2.0/test/set/projection.cc +436 -0
- data/ext/gecode-2.2.0/test/set/rel-op-const.cc +368 -0
- data/ext/gecode-2.2.0/test/set/rel-op.cc +465 -0
- data/ext/gecode-2.2.0/test/set/rel.cc +125 -0
- data/ext/gecode-2.2.0/test/set/select.cc +299 -0
- data/ext/gecode-2.2.0/test/set/sequence.cc +125 -0
- data/ext/gecode-2.2.0/test/test.cc +287 -0
- data/ext/gecode-2.2.0/test/test.hh +175 -0
- data/ext/gecode-2.2.0/test/test.icc +93 -0
- data/ext/{gecode-2.1.1 → gecode-2.2.0}/variables.vsl +0 -0
- data/lib/gecoder/bindings.rb +7 -5
- data/lib/gecoder/bindings/bindings.rb +8 -8
- data/lib/gecoder/interface.rb +4 -2
- data/lib/gecoder/interface/binding_changes.rb +1 -1
- data/lib/gecoder/interface/branch.rb +1 -1
- data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/bool_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/extensional_regexp.rb +1 -1
- data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/int_enum/extensional.rb +5 -5
- data/lib/gecoder/interface/constraints/int_enum_constraints.rb +4 -4
- data/lib/gecoder/interface/constraints/int_var_constraints.rb +2 -2
- data/lib/gecoder/interface/constraints/selected_set/select.rb +8 -8
- data/lib/gecoder/interface/constraints/set_enum/element.rb +79 -0
- data/lib/gecoder/interface/constraints/set_enum_constraints.rb +5 -5
- data/lib/gecoder/interface/constraints/set_var_constraints.rb +2 -2
- data/lib/gecoder/interface/convenience.rb +99 -0
- data/lib/gecoder/interface/enum_wrapper.rb +1 -1
- data/lib/gecoder/interface/mixin.rb +486 -0
- data/lib/gecoder/interface/search.rb +23 -22
- data/lib/gecoder/version.rb +1 -1
- data/specs/branch.rb +5 -3
- data/specs/constraints/bool/boolean.rb +3 -1
- data/specs/constraints/bool/linear.rb +3 -1
- data/specs/constraints/bool_enum/bool_enum_relation.rb +3 -1
- data/specs/constraints/bool_enum/channel.rb +3 -1
- data/specs/constraints/fixnum_enum/element.rb +3 -1
- data/specs/constraints/int/arithmetic.rb +3 -1
- data/specs/constraints/int/channel.rb +3 -1
- data/specs/constraints/int/linear.rb +3 -1
- data/specs/constraints/int/linear_properties.rb +3 -1
- data/specs/constraints/int_enum/arithmetic.rb +3 -1
- data/specs/constraints/int_enum/channel.rb +3 -1
- data/specs/constraints/int_enum/count.rb +3 -1
- data/specs/constraints/int_enum/distinct.rb +3 -1
- data/specs/constraints/int_enum/element.rb +3 -1
- data/specs/constraints/int_enum/sort.rb +3 -1
- data/specs/constraints/property_helper.rb +10 -10
- data/specs/constraints/reification_sugar.rb +3 -1
- data/specs/constraints/selected_set/select.rb +6 -5
- data/specs/constraints/selected_set/select_properties.rb +12 -10
- data/specs/constraints/set/channel.rb +3 -1
- data/specs/constraints/set/domain.rb +4 -4
- data/specs/constraints/set/relation.rb +4 -4
- data/specs/constraints/set_enum/channel.rb +3 -1
- data/specs/constraints/set_enum/distinct.rb +3 -1
- data/specs/constraints/set_enum/element.rb +77 -0
- data/specs/enum_wrapper.rb +1 -1
- data/specs/mixin.rb +78 -0
- data/specs/model.rb +5 -5
- data/specs/search.rb +20 -14
- data/specs/selected_set.rb +3 -3
- data/specs/set_elements.rb +2 -2
- data/tasks/distribution.rake +25 -4
- metadata +739 -602
- data/example/money.rb +0 -36
- data/ext/gecode-2.1.1/Makefile.dep +0 -7622
- data/ext/gecode-2.1.1/Makefile.in +0 -1568
- data/ext/gecode-2.1.1/changelog.in +0 -2459
- data/ext/gecode-2.1.1/configure +0 -11631
- data/ext/gecode-2.1.1/configure.ac +0 -249
- data/ext/gecode-2.1.1/configure.ac.in +0 -245
- data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +0 -263
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +0 -82
- data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +0 -162
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +0 -172
- data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +0 -63
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +0 -37
- data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +0 -35
- data/ext/gecode-2.1.1/contribs/qecode/configure +0 -2264
- data/ext/gecode-2.1.1/contribs/qecode/configure.ac +0 -23
- data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +0 -13
- data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +0 -144
- data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +0 -179
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +0 -34
- data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +0 -46
- data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +0 -595
- data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +0 -184
- data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +0 -69
- data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +0 -145
- data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +0 -247
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +0 -168
- data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +0 -73
- data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +0 -91
- data/ext/gecode-2.1.1/contribs/qecode/warner.cc +0 -101
- data/ext/gecode-2.1.1/contribs/qecode/warner.hh +0 -83
- data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +0 -1111
- data/ext/gecode-2.1.1/doxygen/reflection.hh +0 -417
- data/ext/gecode-2.1.1/gecode.m4 +0 -956
- data/ext/gecode-2.1.1/gecode/cpltset.hh +0 -797
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +0 -115
- data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +0 -77
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +0 -245
- data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +0 -101
- data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +0 -522
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +0 -254
- data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +0 -86
- data/ext/gecode-2.1.1/gecode/gist/node.cc +0 -100
- data/ext/gecode-2.1.1/gecode/gist/node.hh +0 -89
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +0 -124
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +0 -122
- data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +0 -79
- data/ext/gecode-2.1.1/gecode/gist/postscript.cc +0 -543
- data/ext/gecode-2.1.1/gecode/gist/postscript.hh +0 -56
- data/ext/gecode-2.1.1/gecode/gist/preferences.cc +0 -110
- data/ext/gecode-2.1.1/gecode/gist/preferences.hh +0 -76
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +0 -55
- data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +0 -58
- data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +0 -331
- data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +0 -140
- data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +0 -531
- data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +0 -224
- data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +0 -114
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +0 -1140
- data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +0 -324
- data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +0 -163
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +0 -175
- data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +0 -71
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +0 -219
- data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +0 -73
- data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +0 -123
- data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +0 -303
- data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +0 -166
- data/ext/gecode-2.1.1/gecode/int.hh +0 -2035
- data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +0 -136
- data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +0 -440
- data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +0 -279
- data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +0 -253
- data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +0 -522
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +0 -218
- data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +0 -138
- data/ext/gecode-2.1.1/gecode/int/bool.cc +0 -642
- data/ext/gecode-2.1.1/gecode/int/bool/or.icc +0 -1000
- data/ext/gecode-2.1.1/gecode/int/branch.cc +0 -301
- data/ext/gecode-2.1.1/gecode/int/branch.hh +0 -576
- data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +0 -338
- data/ext/gecode-2.1.1/gecode/int/channel.cc +0 -114
- data/ext/gecode-2.1.1/gecode/int/channel.hh +0 -259
- data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +0 -347
- data/ext/gecode-2.1.1/gecode/int/channel/val.icc +0 -276
- data/ext/gecode-2.1.1/gecode/int/circuit.hh +0 -175
- data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +0 -271
- data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +0 -122
- data/ext/gecode-2.1.1/gecode/int/count.hh +0 -487
- data/ext/gecode-2.1.1/gecode/int/count/int.icc +0 -619
- data/ext/gecode-2.1.1/gecode/int/count/rel.icc +0 -144
- data/ext/gecode-2.1.1/gecode/int/count/view.icc +0 -449
- data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +0 -141
- data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +0 -429
- data/ext/gecode-2.1.1/gecode/int/distinct.hh +0 -341
- data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +0 -750
- data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +0 -136
- data/ext/gecode-2.1.1/gecode/int/element.hh +0 -239
- data/ext/gecode-2.1.1/gecode/int/element/int.icc +0 -441
- data/ext/gecode-2.1.1/gecode/int/element/view.icc +0 -584
- data/ext/gecode-2.1.1/gecode/int/exception.icc +0 -163
- data/ext/gecode-2.1.1/gecode/int/extensional.hh +0 -415
- data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +0 -565
- data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +0 -311
- data/ext/gecode-2.1.1/gecode/int/gcc.hh +0 -329
- data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +0 -660
- data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +0 -531
- data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +0 -400
- data/ext/gecode-2.1.1/gecode/int/int-set.cc +0 -153
- data/ext/gecode-2.1.1/gecode/int/int-set.icc +0 -191
- data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +0 -220
- data/ext/gecode-2.1.1/gecode/int/linear-int.cc +0 -240
- data/ext/gecode-2.1.1/gecode/int/linear.hh +0 -1849
- data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +0 -433
- data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +0 -605
- data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +0 -539
- data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +0 -493
- data/ext/gecode-2.1.1/gecode/int/rel.cc +0 -431
- data/ext/gecode-2.1.1/gecode/int/rel.hh +0 -657
- data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +0 -848
- data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +0 -248
- data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +0 -269
- data/ext/gecode-2.1.1/gecode/int/sorted.cc +0 -91
- data/ext/gecode-2.1.1/gecode/int/sorted.hh +0 -117
- data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +0 -182
- data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +0 -257
- data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +0 -208
- data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +0 -669
- data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +0 -596
- data/ext/gecode-2.1.1/gecode/int/var-imp.icc +0 -745
- data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +0 -104
- data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +0 -407
- data/ext/gecode-2.1.1/gecode/int/var/bool.icc +0 -126
- data/ext/gecode-2.1.1/gecode/int/var/int.icc +0 -151
- data/ext/gecode-2.1.1/gecode/int/view.icc +0 -1894
- data/ext/gecode-2.1.1/gecode/iter.hh +0 -90
- data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +0 -130
- data/ext/gecode-2.1.1/gecode/kernel.hh +0 -182
- data/ext/gecode-2.1.1/gecode/kernel/branching.icc +0 -447
- data/ext/gecode-2.1.1/gecode/kernel/core.cc +0 -473
- data/ext/gecode-2.1.1/gecode/kernel/core.icc +0 -2295
- data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +0 -458
- data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +0 -921
- data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +0 -1012
- data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +0 -433
- data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +0 -269
- data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +0 -227
- data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +0 -72
- data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +0 -915
- data/ext/gecode-2.1.1/gecode/kernel/var.icc +0 -120
- data/ext/gecode-2.1.1/gecode/kernel/view.icc +0 -611
- data/ext/gecode-2.1.1/gecode/minimodel.hh +0 -1165
- data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +0 -179
- data/ext/gecode-2.1.1/gecode/search.hh +0 -752
- data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +0 -237
- data/ext/gecode-2.1.1/gecode/serialization.hh +0 -149
- data/ext/gecode-2.1.1/gecode/serialization/boost.cc +0 -78
- data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +0 -340
- data/ext/gecode-2.1.1/gecode/serialization/register.cc +0 -8142
- data/ext/gecode-2.1.1/gecode/set.hh +0 -970
- data/ext/gecode-2.1.1/gecode/set/projectors.hh +0 -438
- data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +0 -312
- data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +0 -557
- data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +0 -409
- data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +0 -172
- data/ext/gecode-2.1.1/gecode/set/select.cc +0 -135
- data/ext/gecode-2.1.1/gecode/set/select.hh +0 -233
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +0 -308
- data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +0 -75
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +0 -113
- data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +0 -155
- data/ext/gecode-2.1.1/gecode/set/select/inter.icc +0 -349
- data/ext/gecode-2.1.1/gecode/set/select/union.icc +0 -371
- data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +0 -334
- data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +0 -214
- data/ext/gecode-2.1.1/gecode/set/var/set.icc +0 -303
- data/ext/gecode-2.1.1/gecode/set/view.icc +0 -1503
- data/ext/gecode-2.1.1/gecode/set/view/complement.icc +0 -629
- data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +0 -158
- data/ext/gecode-2.1.1/gecode/support/config.icc.in +0 -80
- data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +0 -122
- data/ext/gecode-2.1.1/gecode/support/symbol.cc +0 -226
- data/ext/gecode-2.1.1/gecode/support/symbol.icc +0 -130
- data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-search.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/gecode.pc.in +0 -45
- data/ext/gecode-2.1.1/misc/genstatistics.perl +0 -178
- data/ext/gecode-2.1.1/misc/genvariables.perl +0 -905
- data/lib/gecoder/interface/constraints/set_enum/select.rb +0 -79
- data/lib/gecoder/interface/model.rb +0 -453
- data/lib/gecoder/interface/model_sugar.rb +0 -84
- data/specs/constraints/set_enum/select.rb +0 -73
@@ -0,0 +1,129 @@
|
|
1
|
+
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
|
2
|
+
/*
|
3
|
+
* Main authors:
|
4
|
+
* Guido Tack <tack@gecode.org>
|
5
|
+
*
|
6
|
+
* Copyright:
|
7
|
+
* Guido Tack, 2004
|
8
|
+
*
|
9
|
+
* Last modified:
|
10
|
+
* $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
|
11
|
+
* $Revision: 5524 $
|
12
|
+
*
|
13
|
+
* This file is part of Gecode, the generic constraint
|
14
|
+
* development environment:
|
15
|
+
* http://www.gecode.org
|
16
|
+
*
|
17
|
+
* Permission is hereby granted, free of charge, to any person obtaining
|
18
|
+
* a copy of this software and associated documentation files (the
|
19
|
+
* "Software"), to deal in the Software without restriction, including
|
20
|
+
* without limitation the rights to use, copy, modify, merge, publish,
|
21
|
+
* distribute, sublicense, and/or sell copies of the Software, and to
|
22
|
+
* permit persons to whom the Software is furnished to do so, subject to
|
23
|
+
* the following conditions:
|
24
|
+
*
|
25
|
+
* The above copyright notice and this permission notice shall be
|
26
|
+
* included in all copies or substantial portions of the Software.
|
27
|
+
*
|
28
|
+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
29
|
+
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
30
|
+
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
31
|
+
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
|
32
|
+
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
|
33
|
+
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
34
|
+
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
35
|
+
*
|
36
|
+
*/
|
37
|
+
|
38
|
+
#include "gecode/set.hh"
|
39
|
+
#include "examples/support.hh"
|
40
|
+
#include "gecode/minimodel.hh"
|
41
|
+
|
42
|
+
/**
|
43
|
+
* \brief %Example: Generating hamming codes
|
44
|
+
*
|
45
|
+
* Generate a Hamming code that fits in b-bit words to code n symbols where
|
46
|
+
* the Hamming distance between every two symbol codes is at least d.
|
47
|
+
* The Hamming distance between to words is the number of bit positions
|
48
|
+
* where they differ.
|
49
|
+
*
|
50
|
+
* This instance fixes b to 20 and d to 3.
|
51
|
+
*
|
52
|
+
* \ingroup ExProblem
|
53
|
+
*
|
54
|
+
*/
|
55
|
+
class Hamming : public Example {
|
56
|
+
public:
|
57
|
+
/// The hamming code
|
58
|
+
SetVarArray xs;
|
59
|
+
|
60
|
+
/// Number of bits
|
61
|
+
static const int bits = 20;
|
62
|
+
/// Minimum distance between two codes
|
63
|
+
static const int dist = 3;
|
64
|
+
|
65
|
+
/// Actual model
|
66
|
+
Hamming(const SizeOptions& opt) :
|
67
|
+
xs(this,opt.size(),IntSet::empty,1,bits) {
|
68
|
+
SetVarArray cxs(this,xs.size());
|
69
|
+
for (int i=0; i<xs.size(); i++)
|
70
|
+
rel(this, xs[i], SRT_CMPL, cxs[i]);
|
71
|
+
|
72
|
+
for (int i=0; i<xs.size(); i++) {
|
73
|
+
SetVar y = xs[i];
|
74
|
+
SetVar cy = cxs[i];
|
75
|
+
for (int j=i+1; j<xs.size(); j++) {
|
76
|
+
SetVar x = xs[j];
|
77
|
+
SetVar cx = cxs[j];
|
78
|
+
|
79
|
+
SetVar xIntCy(this);
|
80
|
+
SetVar yIntCx(this);
|
81
|
+
|
82
|
+
rel(this, x, SOT_INTER, cy, SRT_EQ, xIntCy);
|
83
|
+
rel(this, y, SOT_INTER, cx, SRT_EQ, yIntCx);
|
84
|
+
IntVar diff1(this,0,1024);
|
85
|
+
IntVar diff2(this,0,1204);
|
86
|
+
cardinality(this, xIntCy,diff1);
|
87
|
+
cardinality(this, yIntCx,diff2);
|
88
|
+
post(this, diff1+diff2 >= dist);
|
89
|
+
}
|
90
|
+
}
|
91
|
+
|
92
|
+
branch(this, xs, SET_VAR_NONE, SET_VAL_MIN);
|
93
|
+
}
|
94
|
+
|
95
|
+
/// Print solution
|
96
|
+
virtual void
|
97
|
+
print(std::ostream& os) {
|
98
|
+
for (int i=0; i<xs.size(); i++) {
|
99
|
+
os << "\t[" << i << "] = " << xs[i] << std::endl;
|
100
|
+
}
|
101
|
+
}
|
102
|
+
|
103
|
+
/// Constructor for copying \a s
|
104
|
+
Hamming(bool share, Hamming& s) : Example(share,s) {
|
105
|
+
xs.update(this, share, s.xs);
|
106
|
+
}
|
107
|
+
/// Copy during cloning
|
108
|
+
virtual Space*
|
109
|
+
copy(bool share) {
|
110
|
+
return new Hamming(share,*this);
|
111
|
+
}
|
112
|
+
|
113
|
+
};
|
114
|
+
|
115
|
+
/** \brief Main-function
|
116
|
+
* \relates Hamming
|
117
|
+
*/
|
118
|
+
int
|
119
|
+
main(int argc, char* argv[]) {
|
120
|
+
SizeOptions opt("Hamming");
|
121
|
+
opt.size(32);
|
122
|
+
opt.parse(argc,argv);
|
123
|
+
Example::run<Hamming,DFS,SizeOptions>(opt);
|
124
|
+
return 0;
|
125
|
+
}
|
126
|
+
|
127
|
+
|
128
|
+
// STATISTICS: example-any
|
129
|
+
|
@@ -0,0 +1,143 @@
|
|
1
|
+
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
|
2
|
+
/*
|
3
|
+
* Main authors:
|
4
|
+
* Christian Schulte <schulte@gecode.org>
|
5
|
+
*
|
6
|
+
* Copyright:
|
7
|
+
* Christian Schulte, 2002
|
8
|
+
*
|
9
|
+
* Last modified:
|
10
|
+
* $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
|
11
|
+
* $Revision: 5524 $
|
12
|
+
*
|
13
|
+
* This file is part of Gecode, the generic constraint
|
14
|
+
* development environment:
|
15
|
+
* http://www.gecode.org
|
16
|
+
*
|
17
|
+
* Permission is hereby granted, free of charge, to any person obtaining
|
18
|
+
* a copy of this software and associated documentation files (the
|
19
|
+
* "Software"), to deal in the Software without restriction, including
|
20
|
+
* without limitation the rights to use, copy, modify, merge, publish,
|
21
|
+
* distribute, sublicense, and/or sell copies of the Software, and to
|
22
|
+
* permit persons to whom the Software is furnished to do so, subject to
|
23
|
+
* the following conditions:
|
24
|
+
*
|
25
|
+
* The above copyright notice and this permission notice shall be
|
26
|
+
* included in all copies or substantial portions of the Software.
|
27
|
+
*
|
28
|
+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
29
|
+
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
30
|
+
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
31
|
+
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
|
32
|
+
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
|
33
|
+
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
34
|
+
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
35
|
+
*
|
36
|
+
*/
|
37
|
+
|
38
|
+
#include "examples/support.hh"
|
39
|
+
#include "gecode/minimodel.hh"
|
40
|
+
|
41
|
+
/**
|
42
|
+
* \name Graph specification for independent sets
|
43
|
+
*
|
44
|
+
* \relates IndSet
|
45
|
+
*/
|
46
|
+
//@{
|
47
|
+
/// Graph specification
|
48
|
+
class Graph {
|
49
|
+
public:
|
50
|
+
const int n_v; ///< Number of vertices
|
51
|
+
const int n_e; ///< Number of edges
|
52
|
+
const int* e; ///< Arrays of edges (as vertex pairs)
|
53
|
+
Graph(const int n_v0, const int n_e0, const int* e0)
|
54
|
+
: n_v(n_v0), n_e(n_e0), e(e0) {}
|
55
|
+
};
|
56
|
+
|
57
|
+
const int e_20_10[] = {
|
58
|
+
0, 4, 2,12, 12,14, 18,19, 7,10,
|
59
|
+
9,12, 5,11, 6,15, 3,18, 7,16
|
60
|
+
};
|
61
|
+
|
62
|
+
const Graph g_20_10(20,10,e_20_10);
|
63
|
+
|
64
|
+
const int e_40_20[] = {
|
65
|
+
21,30, 11,30, 19,38, 20,25, 11,24,
|
66
|
+
20,33, 8,39, 4, 5, 6,16, 5,32,
|
67
|
+
0, 9, 5,24, 25,28, 36,38, 14,20,
|
68
|
+
19,25, 11,22, 13,30, 7,36, 15,33
|
69
|
+
};
|
70
|
+
|
71
|
+
const Graph g_40_20(40, 20, e_40_20);
|
72
|
+
//@}
|
73
|
+
|
74
|
+
|
75
|
+
/**
|
76
|
+
* \brief %Example: Independent Sets in a %Graph
|
77
|
+
*
|
78
|
+
* \ingroup ExProblem
|
79
|
+
*
|
80
|
+
*/
|
81
|
+
class IndSet : public Example {
|
82
|
+
protected:
|
83
|
+
/// Graph used
|
84
|
+
const Graph& g;
|
85
|
+
/// Whether vertex included in independent set
|
86
|
+
BoolVarArray v;
|
87
|
+
/// How many elements has indipendent set
|
88
|
+
IntVar k;
|
89
|
+
public:
|
90
|
+
/// Actual model
|
91
|
+
IndSet(const SizeOptions& opt)
|
92
|
+
: g(opt.size() == 0 ? g_20_10 : g_40_20),
|
93
|
+
v(this,g.n_v,0,1), k(this,0,g.n_e) {
|
94
|
+
const int* e = g.e;
|
95
|
+
const int* e1 = e++; const int* e2 = e++;
|
96
|
+
for (int i = g.n_e; i--; )
|
97
|
+
rel(this, v[*e1], BOT_AND, v[*e2], 0, ICL_DEF, opt.pk());
|
98
|
+
linear(this, v, IRT_EQ, k, ICL_DEF, opt.pk());
|
99
|
+
branch(this, v, INT_VAR_NONE, INT_VAL_MIN);
|
100
|
+
}
|
101
|
+
|
102
|
+
/// Constructor for cloning \a s
|
103
|
+
IndSet(bool share, IndSet& s) : Example(share,s), g(s.g) {
|
104
|
+
v.update(this, share, s.v);
|
105
|
+
k.update(this, share, s.k);
|
106
|
+
}
|
107
|
+
/// Copy during cloning
|
108
|
+
virtual Space*
|
109
|
+
copy(bool share) {
|
110
|
+
return new IndSet(share,*this);
|
111
|
+
}
|
112
|
+
|
113
|
+
/// Print solution
|
114
|
+
virtual void
|
115
|
+
print(std::ostream& os) {
|
116
|
+
os << "\tk = " << k << std::endl
|
117
|
+
<< "\tv[] = " << v << std::endl;
|
118
|
+
}
|
119
|
+
|
120
|
+
/// Add constraint for next better solution
|
121
|
+
void
|
122
|
+
constrain(Space* s) {
|
123
|
+
rel(this, k, IRT_GR, static_cast<IndSet*>(s)->k.val());
|
124
|
+
}
|
125
|
+
};
|
126
|
+
|
127
|
+
|
128
|
+
/** \brief Main-function
|
129
|
+
* \relates IndSet
|
130
|
+
*/
|
131
|
+
int
|
132
|
+
main(int argc, char* argv[]) {
|
133
|
+
SizeOptions opt("IndSet");
|
134
|
+
opt.solutions(0);
|
135
|
+
opt.size(1);
|
136
|
+
opt.iterations(2000);
|
137
|
+
opt.parse(argc,argv);
|
138
|
+
Example::run<IndSet,BAB,SizeOptions>(opt);
|
139
|
+
return 0;
|
140
|
+
}
|
141
|
+
|
142
|
+
// STATISTICS: example-any
|
143
|
+
|
@@ -0,0 +1,163 @@
|
|
1
|
+
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
|
2
|
+
/*
|
3
|
+
* Main authors:
|
4
|
+
* Guido Tack <tack@gecode.org>
|
5
|
+
*
|
6
|
+
* Copyright:
|
7
|
+
* Guido Tack, 2008
|
8
|
+
*
|
9
|
+
* Last modified:
|
10
|
+
* $Date: 2008-01-31 10:48:49 +0100 (Thu, 31 Jan 2008) $ by $Author: tack $
|
11
|
+
* $Revision: 6002 $
|
12
|
+
*
|
13
|
+
* This file is part of Gecode, the generic constraint
|
14
|
+
* development environment:
|
15
|
+
* http://www.gecode.org
|
16
|
+
*
|
17
|
+
* Permission is hereby granted, free of charge, to any person obtaining
|
18
|
+
* a copy of this software and associated documentation files (the
|
19
|
+
* "Software"), to deal in the Software without restriction, including
|
20
|
+
* without limitation the rights to use, copy, modify, merge, publish,
|
21
|
+
* distribute, sublicense, and/or sell copies of the Software, and to
|
22
|
+
* permit persons to whom the Software is furnished to do so, subject to
|
23
|
+
* the following conditions:
|
24
|
+
*
|
25
|
+
* The above copyright notice and this permission notice shall be
|
26
|
+
* included in all copies or substantial portions of the Software.
|
27
|
+
*
|
28
|
+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
29
|
+
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
30
|
+
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
31
|
+
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
|
32
|
+
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
|
33
|
+
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
34
|
+
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
35
|
+
*
|
36
|
+
*/
|
37
|
+
|
38
|
+
#include "examples/support.hh"
|
39
|
+
#include "gecode/serialization.hh"
|
40
|
+
#include <fstream>
|
41
|
+
#include <string>
|
42
|
+
|
43
|
+
/**
|
44
|
+
* \brief Options for examples with additional file name parameter
|
45
|
+
*
|
46
|
+
*/
|
47
|
+
class FileNameOptions : public Options {
|
48
|
+
protected:
|
49
|
+
const char* _file; ///< File name value
|
50
|
+
public:
|
51
|
+
/// Initialize options for example with name \a n
|
52
|
+
FileNameOptions(const char* n);
|
53
|
+
/// Print help text
|
54
|
+
virtual void help(void);
|
55
|
+
/// Parse options from arguments \a argv (number is \a argc)
|
56
|
+
void parse(int& argc, char* argv[]);
|
57
|
+
|
58
|
+
/// Set file name
|
59
|
+
void file(const char* f);
|
60
|
+
/// Return file name
|
61
|
+
const char* file(void) const;
|
62
|
+
};
|
63
|
+
|
64
|
+
inline void
|
65
|
+
FileNameOptions::file(const char* f) { _file = f; }
|
66
|
+
|
67
|
+
inline const char*
|
68
|
+
FileNameOptions::file(void) const {
|
69
|
+
return _file;
|
70
|
+
}
|
71
|
+
|
72
|
+
FileNameOptions::FileNameOptions(const char* n)
|
73
|
+
: Options(n), _file(NULL) {}
|
74
|
+
|
75
|
+
void
|
76
|
+
FileNameOptions::help(void) {
|
77
|
+
Options::help();
|
78
|
+
std::cerr << "\t(string)" << std::endl
|
79
|
+
<< "\t\tJavaScript source file to parse" << std::endl;
|
80
|
+
}
|
81
|
+
|
82
|
+
void
|
83
|
+
FileNameOptions::parse(int& argc, char* argv[]) {
|
84
|
+
Options::parse(argc,argv);
|
85
|
+
if (argc < 2)
|
86
|
+
return;
|
87
|
+
file(argv[1]);
|
88
|
+
}
|
89
|
+
|
90
|
+
/**
|
91
|
+
* \brief %Example: Gecode/JavaScript interpreter
|
92
|
+
*
|
93
|
+
* Executes a JavaScript program, builds the Gecode model that it contains and
|
94
|
+
* runs a search.
|
95
|
+
*
|
96
|
+
* \ingroup ExProblem
|
97
|
+
*
|
98
|
+
*/
|
99
|
+
class JavaScript : public Example {
|
100
|
+
protected:
|
101
|
+
/// Variables
|
102
|
+
VarArray<Reflection::Var> x;
|
103
|
+
public:
|
104
|
+
/// The actual problem
|
105
|
+
JavaScript(const FileNameOptions& opt) : x(this, 0) {
|
106
|
+
if (opt.file() == NULL) {
|
107
|
+
throw Exception("JavaScript", "no file given");
|
108
|
+
}
|
109
|
+
std::ifstream programFile(opt.file());
|
110
|
+
std::string program;
|
111
|
+
if (programFile.fail()) {
|
112
|
+
throw Exception("JavaScript", "error reading file");
|
113
|
+
}
|
114
|
+
while (!programFile.eof()) {
|
115
|
+
std::string line;
|
116
|
+
std::getline(programFile, line);
|
117
|
+
program += line+"\n";
|
118
|
+
}
|
119
|
+
programFile.close();
|
120
|
+
fromJavaScript(this, program);
|
121
|
+
Reflection::VarMap vm;
|
122
|
+
for (Reflection::ActorSpecIter si(this, vm); si(); ++si) {
|
123
|
+
(void) si.actor();
|
124
|
+
}
|
125
|
+
for (Reflection::VarMapIter vmi(vm); vmi(); ++vmi) {
|
126
|
+
x.add(this, Reflection::Var(vmi.varImpBase(), vmi.spec().vti()));
|
127
|
+
}
|
128
|
+
}
|
129
|
+
|
130
|
+
/// Constructor for cloning \a s
|
131
|
+
JavaScript(bool share, JavaScript& s) : Example(share,s) {
|
132
|
+
x.update(this, share, s.x);
|
133
|
+
}
|
134
|
+
|
135
|
+
/// Perform copying during cloning
|
136
|
+
virtual Space*
|
137
|
+
copy(bool share) {
|
138
|
+
return new JavaScript(share,*this);
|
139
|
+
}
|
140
|
+
|
141
|
+
/// Print solution
|
142
|
+
virtual void
|
143
|
+
print(std::ostream& os) {
|
144
|
+
for (int i=0; i<x.size(); i++) {
|
145
|
+
os << x[i] << (i < x.size() - 1 ? "," : "");
|
146
|
+
}
|
147
|
+
os << std::endl;
|
148
|
+
}
|
149
|
+
};
|
150
|
+
|
151
|
+
/** \brief Main-function
|
152
|
+
* \relates Queens
|
153
|
+
*/
|
154
|
+
int
|
155
|
+
main(int argc, char* argv[]) {
|
156
|
+
FileNameOptions opt("JavaScript");
|
157
|
+
opt.parse(argc,argv);
|
158
|
+
Gecode::Serialization::initRegistry();
|
159
|
+
Example::run<JavaScript,DFS,FileNameOptions>(opt);
|
160
|
+
return 0;
|
161
|
+
}
|
162
|
+
|
163
|
+
// STATISTICS: example-any
|
@@ -0,0 +1,686 @@
|
|
1
|
+
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
|
2
|
+
/*
|
3
|
+
* Main authors:
|
4
|
+
* Christian Schulte <schulte@gecode.org>
|
5
|
+
*
|
6
|
+
* Contributing authors:
|
7
|
+
* Mikael Lagerkvist <lagerkvist@gecode.org>
|
8
|
+
*
|
9
|
+
* Copyright:
|
10
|
+
* Christian Schulte, 2007
|
11
|
+
* Mikael Lagerkivst, 2007
|
12
|
+
*
|
13
|
+
* Last modified:
|
14
|
+
* $Date: 2007-12-04 13:37:31 +0100 (Tue, 04 Dec 2007) $ by $Author: schulte $
|
15
|
+
* $Revision: 5572 $
|
16
|
+
*
|
17
|
+
* This file is part of Gecode, the generic constraint
|
18
|
+
* development environment:
|
19
|
+
* http://www.gecode.org
|
20
|
+
*
|
21
|
+
* Permission is hereby granted, free of charge, to any person obtaining
|
22
|
+
* a copy of this software and associated documentation files (the
|
23
|
+
* "Software"), to deal in the Software without restriction, including
|
24
|
+
* without limitation the rights to use, copy, modify, merge, publish,
|
25
|
+
* distribute, sublicense, and/or sell copies of the Software, and to
|
26
|
+
* permit persons to whom the Software is furnished to do so, subject to
|
27
|
+
* the following conditions:
|
28
|
+
*
|
29
|
+
* The above copyright notice and this permission notice shall be
|
30
|
+
* included in all copies or substantial portions of the Software.
|
31
|
+
*
|
32
|
+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
33
|
+
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
34
|
+
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
|
35
|
+
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
|
36
|
+
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
|
37
|
+
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
|
38
|
+
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
39
|
+
*
|
40
|
+
*/
|
41
|
+
|
42
|
+
#include "examples/support.hh"
|
43
|
+
#include "gecode/minimodel.hh"
|
44
|
+
|
45
|
+
namespace {
|
46
|
+
|
47
|
+
/** \name %Kakuro specifications
|
48
|
+
*
|
49
|
+
* Each specification starts with two integers for width and height,
|
50
|
+
* followed by entries for vertical constraints, an integer -1
|
51
|
+
* (signalling the end of the vertical constraints), entries
|
52
|
+
* for the horizontal constraints, and, finally, an integer -1.
|
53
|
+
*
|
54
|
+
* Each entry consists of four integers:
|
55
|
+
* - the x-coordinate of the hint
|
56
|
+
* - the y-coordinate of the hint
|
57
|
+
* - the number of fields in the respective direction
|
58
|
+
* - the sum of the fields
|
59
|
+
*
|
60
|
+
* The example are taken from the website of Nikoli (from the free
|
61
|
+
* section). Thanks to Nikoli for their great puzzles and their
|
62
|
+
* brilliant website: www.nikoli.com.
|
63
|
+
*
|
64
|
+
* \relates Kakuro
|
65
|
+
*/
|
66
|
+
//@{
|
67
|
+
|
68
|
+
// Easy, Author: Casty
|
69
|
+
const int k0[] = {
|
70
|
+
// Dimension w x h
|
71
|
+
12,10,
|
72
|
+
// Vertical constraints
|
73
|
+
2, 0, 5,16, 3, 0, 2, 4, 5, 0, 3, 6, 6, 0, 2, 4,
|
74
|
+
7, 0, 5,15, 10, 0, 3, 6, 11, 0, 3, 7, 1, 1, 3, 7,
|
75
|
+
9, 1, 5,16, 4, 2, 2, 5, 8, 2, 2, 3, 3, 3, 5,16,
|
76
|
+
6, 3, 3, 8, 5, 4, 5,15, 10, 4, 5,15, 4, 5, 2, 3,
|
77
|
+
8, 5, 2, 4, 11, 5, 3, 7, 1, 6, 3, 6, 2, 6, 3, 7,
|
78
|
+
7, 6, 3, 7, 6, 7, 2, 3, 9, 7, 2, 4, -1,
|
79
|
+
// Horizontal constraints
|
80
|
+
1, 1, 2, 7, 4, 1, 3, 9, 9, 1, 2, 4, 0, 2, 3, 7,
|
81
|
+
4, 2, 3, 7, 8, 2, 3, 6, 0, 3, 2, 3, 3, 3, 2, 4,
|
82
|
+
6, 3, 5,16, 0, 4, 4,10, 5, 4, 4,10, 1, 5, 2,10,
|
83
|
+
4, 5, 3, 6, 8, 5, 2, 5, 2, 6, 4,10, 7, 6, 4,12,
|
84
|
+
0, 7, 5,16, 6, 7, 2, 4, 9, 7, 2, 4, 0, 8, 3, 7,
|
85
|
+
4, 8, 3, 8, 8, 8, 3, 6, 0, 9, 2, 3, 4, 9, 3, 7,
|
86
|
+
8, 9, 2, 3, -1
|
87
|
+
};
|
88
|
+
|
89
|
+
// Easy, Author: Ogawa Minori
|
90
|
+
const int k1[] = {
|
91
|
+
// Dimension w x h
|
92
|
+
12,10,
|
93
|
+
// Vertical constraints
|
94
|
+
1, 0, 2, 4, 2, 0, 5,15, 5, 0, 5,18, 6, 0, 2,12,
|
95
|
+
7, 0, 3, 8, 10, 0, 3,24, 11, 0, 3,23, 3, 1, 2, 7,
|
96
|
+
9, 1, 3,24, 4, 2, 5,16, 8, 2, 5,35, 1, 3, 2,12,
|
97
|
+
6, 3, 3,17, 7, 4, 5,34, 10, 4, 5,34, 11, 4, 2,16,
|
98
|
+
3, 5, 3, 6, 1, 6, 3, 7, 2, 6, 3, 6, 5, 6, 3,23,
|
99
|
+
9, 6, 2,10, 6, 7, 2,14, 11, 7, 2,10, -1,
|
100
|
+
// Horizontal constraints
|
101
|
+
0, 1, 2, 3, 4, 1, 3,15, 9, 1, 2,16, 0, 2, 3, 6,
|
102
|
+
4, 2, 3, 7, 8, 2, 3,24, 1, 3, 4,11, 6, 3, 5,34,
|
103
|
+
0, 4, 2,14, 3, 4, 3,23, 7, 4, 2,14, 0, 5, 2, 7,
|
104
|
+
3, 5, 5,15, 9, 5, 2,17, 2, 6, 2, 6, 5, 6, 3,23,
|
105
|
+
9, 6, 2,13, 0, 7, 5,16, 6, 7, 4,30, 0, 8, 3, 6,
|
106
|
+
4, 8, 3,23, 8, 8, 3, 7, 0, 9, 2, 4, 4, 9, 3,24,
|
107
|
+
9, 9, 2,17, -1
|
108
|
+
};
|
109
|
+
|
110
|
+
// Easy, Author: SAKAMOTO, Nobuyuki
|
111
|
+
const int k2[] = {
|
112
|
+
// Dimension w x h
|
113
|
+
12,10,
|
114
|
+
// Vertical constraints
|
115
|
+
2, 0, 5,15, 3, 0, 2, 3, 7, 0, 3, 7, 8, 0, 4,23,
|
116
|
+
9, 0, 2,12, 10, 0, 3,20, 11, 0, 3, 9, 4, 1, 3, 7,
|
117
|
+
5, 1, 4,10, 1, 2, 3, 6, 6, 2, 5,15, 9, 3, 2,16,
|
118
|
+
3, 4, 2, 3, 7, 4, 4,13, 10, 4, 5,35, 11, 4, 3,23,
|
119
|
+
4, 5, 4,11, 8, 5, 3,23, 1, 6, 3,23, 2, 6, 3,14,
|
120
|
+
5, 6, 3,11, 3, 7, 2,13, 9, 7, 2,17, -1,
|
121
|
+
// Horizontal constraints
|
122
|
+
1, 1, 2, 4, 6, 1, 5,15, 1, 2, 4,11, 6, 2, 5,34,
|
123
|
+
0, 3, 2, 3, 3, 3, 5,15, 9, 3, 2,10, 0, 4, 2, 4,
|
124
|
+
3, 4, 3, 6, 7, 4, 2,17, 0, 5, 3, 7, 4, 5, 3, 8,
|
125
|
+
8, 5, 3,18, 2, 6, 2, 3, 5, 6, 3,11, 9, 6, 2,16,
|
126
|
+
0, 7, 2,16, 3, 7, 5,16, 9, 7, 2,17, 0, 8, 5,16,
|
127
|
+
6, 8, 4,30, 0, 9, 5,35, 8, 9, 2,17, -1
|
128
|
+
};
|
129
|
+
|
130
|
+
// Easy, Author: country mushroom
|
131
|
+
const int k3[] = {
|
132
|
+
// Dimension w x h
|
133
|
+
12,10,
|
134
|
+
// Vertical constraints
|
135
|
+
3, 0, 3, 7, 4, 0, 6,21, 7, 0, 4,29, 8, 0, 2,17,
|
136
|
+
10, 0, 4,29, 11, 0, 3,23, 2, 1, 3, 6, 6, 1, 2,16,
|
137
|
+
9, 1, 4,14, 1, 2, 2, 4, 5, 2, 2, 3, 8, 3, 6,22,
|
138
|
+
3, 4, 4,10, 2, 5, 4,11, 5, 5, 4,10, 7, 5, 2,10,
|
139
|
+
10, 5, 3,24, 11, 5, 2,16, 1, 6, 3, 7, 6, 6, 2, 9,
|
140
|
+
9, 6, 3,23, 4, 7, 2, 4, -1,
|
141
|
+
// Horizontal constraints
|
142
|
+
2, 1, 2, 4, 6, 1, 2,17, 9, 1, 2,16, 1, 2, 3, 6,
|
143
|
+
5, 2, 6,39, 0, 3, 7,28, 8, 3, 3,24, 0, 4, 2, 3,
|
144
|
+
3, 4, 2, 3, 6, 4, 4,20, 2, 5, 2, 9, 7, 5, 2, 4,
|
145
|
+
1, 6, 4,10, 6, 6, 2, 3, 9, 6, 2,16, 0, 7, 3, 6,
|
146
|
+
4, 7, 7,42, 0, 8, 6,21, 7, 8, 3,21, 0, 9, 2, 4,
|
147
|
+
3, 9, 2, 3, 7, 9, 2,16, -1
|
148
|
+
};
|
149
|
+
|
150
|
+
// Medium, Author: Komieda
|
151
|
+
const int k4[] = {
|
152
|
+
// Dimension w x h
|
153
|
+
20,12,
|
154
|
+
// Vertical constraints
|
155
|
+
3, 0, 3,21, 4, 0, 2, 4, 5, 0, 4,11, 8, 0, 2, 8,
|
156
|
+
9, 0, 3, 7, 11, 0, 2, 3, 12, 0, 3, 6, 15, 0, 6,39,
|
157
|
+
16, 0, 2, 3, 17, 0, 3,23, 2, 1, 5,15, 6, 1, 4,10,
|
158
|
+
10, 1, 4,11, 14, 1, 4,11, 18, 1, 3, 6, 1, 2, 3,24,
|
159
|
+
7, 2, 4,14, 13, 2, 2,10, 19, 2, 2,16, 4, 3, 5,18,
|
160
|
+
8, 3, 4,10, 11, 3, 4,12, 16, 3, 5,33, 3, 4, 3,23,
|
161
|
+
9, 4, 4,29, 12, 4, 4,30, 17, 4, 3,18, 5, 5, 6,38,
|
162
|
+
13, 5, 4,29, 18, 5, 5,15, 6, 6, 4,25, 10, 6, 4,12,
|
163
|
+
14, 6, 4,28, 19, 6, 3,21, 1, 7, 2, 4, 2, 7, 3, 7,
|
164
|
+
7, 7, 2, 7, 15, 7, 4,11, 3, 8, 3,19, 8, 8, 3,24,
|
165
|
+
11, 8, 3, 7, 17, 8, 3, 6, 4, 9, 2,16, 9, 9, 2,16,
|
166
|
+
12, 9, 2,17, 16, 9, 2, 5, -1,
|
167
|
+
// Horizontal constraints
|
168
|
+
2, 1, 3, 7, 7, 1, 2, 4, 10, 1, 2, 4, 14, 1, 3,19,
|
169
|
+
1, 2, 5,18, 7, 2, 5,15, 13, 2, 5,16, 0, 3, 3,21,
|
170
|
+
4, 3, 3, 6, 8, 3, 2, 3, 11, 3, 4,11, 16, 3, 3,20,
|
171
|
+
0, 4, 2,14, 3, 4, 5,15, 9, 4, 2, 3, 12, 4, 4,29,
|
172
|
+
17, 4, 2, 8, 0, 5, 4,27, 5, 5, 7,42, 13, 5, 4,12,
|
173
|
+
1, 6, 4,12, 6, 6, 3, 8, 10, 6, 3,20, 14, 6, 4,29,
|
174
|
+
2, 7, 4,28, 7, 7, 7,28, 15, 7, 4,28, 0, 8, 2, 3,
|
175
|
+
3, 8, 4,11, 8, 8, 2,10, 11, 8, 5,35, 17, 8, 2,10,
|
176
|
+
0, 9, 3, 6, 4, 9, 4,30, 9, 9, 2, 3, 12, 9, 3,19,
|
177
|
+
16, 9, 3, 7, 1,10, 5,34, 7,10, 5,34, 13,10, 5,17,
|
178
|
+
2,11, 3,23, 7,11, 2,17, 10,11, 2,10, 14,11, 3, 6,
|
179
|
+
-1
|
180
|
+
};
|
181
|
+
|
182
|
+
// Medium, Author: crimson
|
183
|
+
const int k5[] = {
|
184
|
+
// Dimension w x h
|
185
|
+
20,12,
|
186
|
+
// Vertical constraints
|
187
|
+
1, 0, 2, 3, 2, 0, 5,33, 4, 0, 2, 8, 5, 0, 4,14,
|
188
|
+
7, 0, 5,15, 8, 0, 3,19, 9, 0, 2,12, 11, 0, 4,11,
|
189
|
+
12, 0, 2, 4, 13, 0, 5,16, 15, 0, 4,11, 16, 0, 2,17,
|
190
|
+
18, 0, 5,34, 19, 0, 2,17, 3, 1, 2, 3, 10, 1, 9,45,
|
191
|
+
17, 1, 2,16, 6, 2, 3,20, 14, 2, 3,12, 1, 3, 2,13,
|
192
|
+
4, 3, 5,33, 9, 3, 3,20, 16, 3, 5,21, 19, 3, 2, 8,
|
193
|
+
3, 4, 3,11, 8, 4, 3,11, 12, 4, 3, 7, 17, 4, 3, 8,
|
194
|
+
11, 5, 3,23, 1, 6, 2,11, 2, 6, 5,15, 6, 6, 3,23,
|
195
|
+
7, 6, 5,27, 13, 6, 5,30, 14, 6, 3, 7, 18, 6, 5,15,
|
196
|
+
19, 6, 2, 3, 5, 7, 4,26, 9, 7, 4,27, 15, 7, 4,27,
|
197
|
+
3, 8, 2, 7, 12, 8, 3,24, 17, 8, 2,17, 1, 9, 2, 5,
|
198
|
+
4, 9, 2, 9, 8, 9, 2, 3, 11, 9, 2,16, 16, 9, 2,16,
|
199
|
+
19, 9, 2,10, -1,
|
200
|
+
// Horizontal constraints
|
201
|
+
0, 1, 2, 4, 3, 1, 2, 7, 6, 1, 3, 7, 10, 1, 3, 7,
|
202
|
+
14, 1, 2,11, 17, 1, 2,16, 0, 2, 5,16, 6, 2, 7,42,
|
203
|
+
14, 2, 5,35, 1, 3, 2,10, 4, 3, 4,15, 9, 3, 2, 6,
|
204
|
+
12, 3, 3, 7, 16, 3, 2,13, 0, 4, 2,17, 3, 4, 4,29,
|
205
|
+
8, 4, 3,19, 12, 4, 4,11, 17, 4, 2, 9, 0, 5, 4,29,
|
206
|
+
5, 5, 5,33, 11, 5, 3, 6, 15, 5, 4,29, 2, 6, 2, 4,
|
207
|
+
7, 6, 5,16, 15, 6, 2, 4, 0, 7, 4,12, 5, 7, 3,10,
|
208
|
+
9, 7, 5,18, 15, 7, 4,12, 0, 8, 2,13, 3, 8, 4,29,
|
209
|
+
8, 8, 3,24, 12, 8, 4,23, 17, 8, 2, 5, 1, 9, 2, 6,
|
210
|
+
4, 9, 3,24, 8, 9, 2, 4, 11, 9, 4,28, 16, 9, 2,11,
|
211
|
+
0,10, 5,15, 6,10, 7,41, 14,10, 5,34, 0,11, 2, 3,
|
212
|
+
3,11, 2,17, 6,11, 3,14, 10,11, 3,23, 14,11, 2,11,
|
213
|
+
17,11, 2, 4, -1
|
214
|
+
};
|
215
|
+
|
216
|
+
// Hard, Author: Yuichi Saito
|
217
|
+
const int k6[] = {
|
218
|
+
// Dimension w x h
|
219
|
+
20,12,
|
220
|
+
// Vertical constraints
|
221
|
+
1, 0, 2, 6, 2, 0, 2,16, 4, 0, 3,10, 5, 0, 2,12,
|
222
|
+
9, 0, 7,28, 10, 0, 2,12, 11, 0, 3,24, 15, 0, 3,10,
|
223
|
+
16, 0, 2,17, 17, 0, 6,22, 3, 1, 3,18, 6, 1, 4,10,
|
224
|
+
8, 1, 2, 8, 12, 1, 2,10, 13, 1, 3,18, 18, 1, 3,12,
|
225
|
+
7, 2, 4,11, 14, 2, 3, 7, 19, 2, 2, 7, 1, 3, 2, 8,
|
226
|
+
2, 3, 3, 7, 5, 3, 4,25, 10, 3, 2, 4, 16, 3, 4,15,
|
227
|
+
4, 4, 4,11, 11, 4, 7,42, 12, 4, 2,17, 15, 4, 4,26,
|
228
|
+
3, 5, 6,22, 8, 5, 2,16, 13, 5, 4,30, 18, 5, 3,24,
|
229
|
+
6, 6, 3, 7, 10, 6, 2, 4, 14, 6, 4,29, 19, 6, 2,14,
|
230
|
+
1, 7, 2,16, 2, 7, 3,11, 7, 7, 3,24, 17, 7, 3,21,
|
231
|
+
5, 8, 3,23, 8, 8, 2,12, 9, 8, 3,20, 12, 8, 2,17,
|
232
|
+
16, 8, 3, 6, 4, 9, 2, 9, 10, 9, 2,16, 15, 9, 2, 9,
|
233
|
+
18, 9, 2, 3, 19, 9, 2,12, -1,
|
234
|
+
// Horizontal constraints
|
235
|
+
0, 1, 2,10, 3, 1, 2, 5, 8, 1, 3,23, 14, 1, 3,11,
|
236
|
+
0, 2, 6,38, 7, 2, 6,39, 14, 2, 4,30, 2, 3, 2,10,
|
237
|
+
5, 3, 4,11, 10, 3, 5,18, 16, 3, 3, 7, 0, 4, 3, 7,
|
238
|
+
4, 4, 3, 7, 8, 4, 2, 6, 12, 4, 2, 8, 15, 4, 4,11,
|
239
|
+
0, 5, 2, 8, 3, 5, 4,14, 8, 5, 4,24, 13, 5, 4,10,
|
240
|
+
1, 6, 4,13, 6, 6, 3,14, 10, 6, 3,19, 14, 6, 4,29,
|
241
|
+
2, 7, 4,15, 7, 7, 4,14, 12, 7, 4,29, 17, 7, 2,16,
|
242
|
+
0, 8, 4,29, 5, 8, 2,13, 9, 8, 2, 8, 12, 8, 3,23,
|
243
|
+
16, 8, 3,22, 0, 9, 3,10, 4, 9, 5,32, 10, 9, 4,29,
|
244
|
+
15, 9, 2,10, 1,10, 4,14, 6,10, 6,39, 13,10, 6,22,
|
245
|
+
2,11, 3,21, 8,11, 3,23, 14,11, 2, 6, 17,11, 2,11,
|
246
|
+
-1
|
247
|
+
};
|
248
|
+
|
249
|
+
// Hard, Author: mimic
|
250
|
+
const int k7[] = {
|
251
|
+
// Dimension w x h
|
252
|
+
22,14,
|
253
|
+
// Vertical constraints
|
254
|
+
1, 0, 3,23, 2, 0, 4,29, 3, 0, 2,16, 7, 0, 2, 7,
|
255
|
+
8, 0, 2,10, 9, 0, 5,30, 13, 0, 7,41, 14, 0, 2,16,
|
256
|
+
15, 0, 4,29, 17, 0, 2, 3, 18, 0, 6,21, 20, 0, 3, 7,
|
257
|
+
21, 0, 2, 4, 4, 1, 5,35, 6, 1, 2, 4, 10, 1, 2,17,
|
258
|
+
12, 1, 3,24, 19, 1, 9,45, 5, 2, 3,23, 11, 2, 9,45,
|
259
|
+
16, 2, 4,21, 3, 3, 9,45, 7, 3, 5,15, 8, 3, 4,10,
|
260
|
+
14, 3, 2,10, 17, 3, 2, 3, 6, 4, 2, 4, 10, 4, 4,30,
|
261
|
+
20, 4, 4,11, 2, 5, 4,13, 12, 5, 4,30, 15, 5, 5,35,
|
262
|
+
21, 5, 2, 4, 1, 6, 2, 4, 9, 6, 7,41, 14, 6, 4,29,
|
263
|
+
4, 7, 6,38, 6, 7, 4,11, 16, 7, 2,16, 18, 7, 5,15,
|
264
|
+
5, 8, 2, 9, 8, 8, 2,17, 13, 8, 5,16, 17, 8, 3, 7,
|
265
|
+
7, 9, 4,20, 10, 9, 3,23, 20, 9, 4,12, 2,10, 3,23,
|
266
|
+
12,10, 2, 6, 16,10, 2, 4, 21,10, 3, 9, 1,11, 2,16,
|
267
|
+
5,11, 2,16, 8,11, 2,16, 14,11, 2, 6, 15,11, 2, 4,
|
268
|
+
19,11, 2, 4, -1,
|
269
|
+
// Horizontal constraints
|
270
|
+
0, 1, 3,23, 6, 1, 3, 8, 12, 1, 3,23, 16, 1, 2, 4,
|
271
|
+
19, 1, 2, 4, 0, 2, 4,30, 5, 2, 5,31, 11, 2, 4,29,
|
272
|
+
16, 2, 5,15, 0, 3, 2,16, 3, 3, 3,19, 8, 3, 5,32,
|
273
|
+
14, 3, 2,17, 17, 3, 3, 8, 1, 4, 4,29, 6, 4, 3, 9,
|
274
|
+
10, 4, 9,45, 2, 5, 9,45, 12, 5, 2,17, 15, 5, 5,16,
|
275
|
+
1, 6, 3,24, 5, 6, 3, 6, 9, 6, 4,30, 14, 6, 2,16,
|
276
|
+
17, 6, 4,11, 0, 7, 3, 7, 6, 7, 9,45, 18, 7, 3, 7,
|
277
|
+
0, 8, 4,11, 5, 8, 2, 4, 8, 8, 4,29, 13, 8, 3,23,
|
278
|
+
17, 8, 3, 7, 1, 9, 5,16, 7, 9, 2,17, 10, 9, 9,45,
|
279
|
+
2,10, 9,45, 12,10, 3,23, 16,10, 4,14, 1,11, 3,24,
|
280
|
+
5,11, 2, 6, 8,11, 5,16, 15,11, 3, 7, 19,11, 2, 8,
|
281
|
+
0,12, 5,35, 6,12, 4,30, 11,12, 5,15, 17,12, 4,11,
|
282
|
+
0,13, 2,17, 3,13, 2,16, 6,13, 3,24, 12,13, 3, 6,
|
283
|
+
18,13, 3, 7, -1
|
284
|
+
};
|
285
|
+
|
286
|
+
// Hard, Author: OX
|
287
|
+
const int k8[] = {
|
288
|
+
// Dimension w x h
|
289
|
+
22,14,
|
290
|
+
// Vertical constraints
|
291
|
+
1, 0, 2, 4, 2, 0, 5,15, 5, 0, 5,16, 6, 0, 2,10,
|
292
|
+
7, 0, 3,18, 8, 0, 4,29, 10, 0, 5,16, 11, 0, 2, 6,
|
293
|
+
13, 0, 2, 8, 14, 0, 5,16, 15, 0, 6,38, 18, 0, 5,15,
|
294
|
+
19, 0, 2, 8, 20, 0, 3, 7, 21, 0, 3, 8, 3, 1, 9,45,
|
295
|
+
16, 1, 2, 4, 4, 2, 2, 3, 9, 2, 8,39, 17, 2, 2, 3,
|
296
|
+
1, 3, 2, 5, 6, 3, 6,22, 11, 3, 3,22, 13, 3, 8,38,
|
297
|
+
19, 3, 9,45, 7, 4, 2, 4, 12, 4, 3,24, 16, 4, 6,38,
|
298
|
+
20, 4, 3,24, 4, 5, 2,16, 8, 5, 2,14, 17, 5, 2,16,
|
299
|
+
21, 5, 2,11, 1, 6, 2, 4, 2, 6, 3, 8, 5, 6, 2, 7,
|
300
|
+
10, 6, 3,18, 14, 6, 2,16, 18, 6, 2,16, 7, 7, 6,22,
|
301
|
+
11, 7, 3, 7, 15, 7, 2,15, 4, 8, 5,35, 8, 8, 5,34,
|
302
|
+
12, 8, 5,34, 17, 8, 5,34, 20, 8, 5,34, 21, 8, 2, 3,
|
303
|
+
5, 9, 2,16, 14, 9, 4,12, 18, 9, 2, 7, 1,10, 3,23,
|
304
|
+
2,10, 3,21, 6,10, 2, 9, 15,10, 3,20, 3,11, 2,17,
|
305
|
+
9,11, 2, 4, 11,11, 2, 4, 16,11, 2,10, 21,11, 2,16,
|
306
|
+
-1,
|
307
|
+
// Horizontal constraints
|
308
|
+
0, 1, 2, 6, 4, 1, 4,30, 9, 1, 2, 6, 12, 1, 3,10,
|
309
|
+
17, 1, 4,12, 0, 2, 3, 8, 4, 2, 4,11, 9, 2, 2, 4,
|
310
|
+
12, 2, 4,20, 17, 2, 4,11, 1, 3, 4,12, 6, 3, 4,28,
|
311
|
+
13, 3, 5,15, 19, 3, 2, 5, 0, 4, 6,22, 7, 4, 4,28,
|
312
|
+
12, 4, 3, 8, 16, 4, 3, 6, 0, 5, 3, 7, 4, 5, 3, 7,
|
313
|
+
8, 5, 8,40, 17, 5, 3,22, 2, 6, 2, 8, 5, 6, 4,12,
|
314
|
+
10, 6, 3,23, 14, 6, 3,22, 18, 6, 3,22, 0, 7, 6,38,
|
315
|
+
7, 7, 3,24, 11, 7, 3,23, 15, 7, 6,39, 0, 8, 3, 6,
|
316
|
+
4, 8, 3, 6, 8, 8, 3, 6, 12, 8, 4,29, 17, 8, 2,14,
|
317
|
+
1, 9, 3,18, 5, 9, 8,36, 14, 9, 3,22, 18, 9, 3,10,
|
318
|
+
2,10, 3,22, 6,10, 3,24, 10,10, 4,10, 15,10, 6,21,
|
319
|
+
0,11, 2,16, 3,11, 5,34, 11,11, 4,29, 16,11, 4,30,
|
320
|
+
0,12, 4,29, 5,12, 4,12, 10,12, 2,10, 13,12, 4,10,
|
321
|
+
18,12, 3,23, 0,13, 4,28, 6,13, 3, 7, 10,13, 2,11,
|
322
|
+
13,13, 4,28, 19,13, 2,13, -1
|
323
|
+
};
|
324
|
+
|
325
|
+
// Hard, Author: TAKEI Daisuke
|
326
|
+
const int k9[] = {
|
327
|
+
// Dimension w x h
|
328
|
+
22,14,
|
329
|
+
// Vertical constraints
|
330
|
+
1, 0, 4,10, 2, 0, 4,24, 3, 0, 3, 7, 7, 0, 3, 8,
|
331
|
+
8, 0, 2,17, 9, 0, 3,13, 13, 0, 3,22, 14, 0, 2,12,
|
332
|
+
15, 0, 3,24, 19, 0, 3,19, 20, 0, 4,28, 21, 0, 4,14,
|
333
|
+
4, 1, 5,16, 6, 1, 5,17, 10, 1, 5,32, 12, 1, 5,34,
|
334
|
+
16, 1, 5,35, 18, 1, 5,31, 5, 2, 3, 9, 11, 2, 3, 7,
|
335
|
+
17, 2, 3, 7, 3, 4, 5,27, 7, 4, 5,16, 9, 4, 5,20,
|
336
|
+
13, 4, 5,30, 15, 4, 5,30, 19, 4, 5,26, 1, 5, 3,12,
|
337
|
+
2, 5, 3,20, 8, 5, 3,22, 14, 5, 3, 9, 20, 5, 3,10,
|
338
|
+
21, 5, 3,20, 4, 7, 5,31, 6, 7, 5,16, 10, 7, 5,17,
|
339
|
+
12, 7, 5,32, 16, 7, 5,19, 18, 7, 5,34, 5, 8, 3, 8,
|
340
|
+
11, 8, 3,24, 17, 8, 3,24, 1, 9, 4,10, 2, 9, 4,15,
|
341
|
+
20, 9, 4,30, 21, 9, 4,12, 3,10, 3,20, 7,10, 3, 6,
|
342
|
+
9,10, 3, 9, 13,10, 3, 6, 15,10, 3, 7, 19,10, 3,24,
|
343
|
+
8,11, 2, 8, 14,11, 2, 7, -1,
|
344
|
+
// Horizontal constraints
|
345
|
+
0, 1, 3, 7, 6, 1, 3,12, 12, 1, 3,23, 18, 1, 3,23,
|
346
|
+
0, 2, 4,11, 5, 2, 5,19, 11, 2, 5,33, 17, 2, 4,28,
|
347
|
+
0, 3, 7,28, 8, 3, 5,34, 14, 3, 7,29, 0, 4, 2,12,
|
348
|
+
3, 4, 3, 7, 9, 4, 3,16, 15, 4, 3,10, 19, 4, 2,10,
|
349
|
+
2, 5, 5,18, 8, 5, 5,20, 14, 5, 5,29, 0, 6, 4,24,
|
350
|
+
5, 6, 5,35, 11, 6, 5,23, 17, 6, 4,26, 0, 7, 3,23,
|
351
|
+
6, 7, 3, 9, 12, 7, 3,10, 18, 7, 3,23, 0, 8, 4,15,
|
352
|
+
5, 8, 5,19, 11, 8, 5,33, 17, 8, 4,10, 2, 9, 5,19,
|
353
|
+
8, 9, 5,35, 14, 9, 5,31, 0,10, 2, 4, 3,10, 3,10,
|
354
|
+
9,10, 3,18, 15,10, 3,24, 19,10, 2,12, 0,11, 7,41,
|
355
|
+
8,11, 5,23, 14,11, 7,36, 0,12, 4,14, 5,12, 5,17,
|
356
|
+
11,12, 5,15, 17,12, 4,26, 0,13, 3, 7, 6,13, 3, 7,
|
357
|
+
12,13, 3, 6, 18,13, 3,23, -1
|
358
|
+
};
|
359
|
+
//@}
|
360
|
+
|
361
|
+
/// Array of all examples
|
362
|
+
const int* examples[] = {
|
363
|
+
&k0[0], &k1[0], &k2[0], &k3[0], &k4[0],
|
364
|
+
&k5[0], &k6[0], &k7[0], &k8[0], &k9[0]
|
365
|
+
};
|
366
|
+
/// Number of examples
|
367
|
+
const unsigned int n_examples = sizeof(examples)/sizeof(char*);
|
368
|
+
|
369
|
+
|
370
|
+
/** \brief Class for solutions of a distinct-linear constraint problem.
|
371
|
+
* \relates Kakuro
|
372
|
+
*/
|
373
|
+
class DistinctLinear : public Space {
|
374
|
+
public:
|
375
|
+
/// The variables
|
376
|
+
IntVarArray x;
|
377
|
+
/// The actual problem
|
378
|
+
DistinctLinear(int n, int s) : x(this,n,1,9) {
|
379
|
+
distinct(this, x);
|
380
|
+
linear(this, x, IRT_EQ, s);
|
381
|
+
branch(this, x, INT_VAR_NONE, INT_VAL_SPLIT_MIN);
|
382
|
+
}
|
383
|
+
/// Constructor for cloning \a s
|
384
|
+
DistinctLinear(bool share, DistinctLinear& s) : Space(share,s) {
|
385
|
+
x.update(this, share, s.x);
|
386
|
+
}
|
387
|
+
/// Perform copying during cloning
|
388
|
+
virtual Space*
|
389
|
+
copy(bool share) {
|
390
|
+
return new DistinctLinear(share,*this);
|
391
|
+
}
|
392
|
+
};
|
393
|
+
/** \brief Generate specification for \a n distinct variables withm sum \a c
|
394
|
+
*
|
395
|
+
* This function should be specialised for any type of specification.
|
396
|
+
*
|
397
|
+
* \relates Kakuro
|
398
|
+
*/
|
399
|
+
template <class C> C generate(int n, int c);
|
400
|
+
|
401
|
+
/** \brief Generate DFA for \a n distinct variables with sum \a c
|
402
|
+
* \relates Kakuro
|
403
|
+
*/
|
404
|
+
template <>
|
405
|
+
DFA generate<DFA>(int n, int c) {
|
406
|
+
// Setup search engine that enumerates all solutions
|
407
|
+
DistinctLinear* e = new DistinctLinear(n,c);
|
408
|
+
DFS<DistinctLinear> d(e);
|
409
|
+
delete e;
|
410
|
+
// Remember in \a ts the previous transitions
|
411
|
+
DFA::Transition* ts = new DFA::Transition[n];
|
412
|
+
for (int i=n; i--; )
|
413
|
+
ts[i].symbol = 0;
|
414
|
+
ts[0].i_state = 0;
|
415
|
+
// Record all transitions in \a ts_all
|
416
|
+
Support::DynamicArray<DFA::Transition> ts_all;
|
417
|
+
int ts_next = 0;
|
418
|
+
int n_state = 2;
|
419
|
+
while (DistinctLinear* s = d.next()) {
|
420
|
+
int i=0;
|
421
|
+
// Skip common prefix
|
422
|
+
for (; ts[i].symbol == s->x[i].val(); i++) {}
|
423
|
+
// Generate transitions for new suffix
|
424
|
+
int i_state = ts[i].i_state;
|
425
|
+
for (;i<n;i++) {
|
426
|
+
ts[i].i_state = i_state;
|
427
|
+
ts[i].symbol = s->x[i].val();
|
428
|
+
ts[i].o_state = i_state = n_state++;
|
429
|
+
ts_all[ts_next++] = ts[i];
|
430
|
+
}
|
431
|
+
// Fix final state to 1
|
432
|
+
ts_all[ts_next-1].o_state = 1;
|
433
|
+
delete s;
|
434
|
+
}
|
435
|
+
delete [] ts;
|
436
|
+
ts_all[ts_next].i_state = -1;
|
437
|
+
int final[2] = {1,-1};
|
438
|
+
DFA dfa(0,&ts_all[0],final);
|
439
|
+
return dfa;
|
440
|
+
}
|
441
|
+
/** \brief Generate tuple set for \a n distinct variables with sum \a c
|
442
|
+
* \relates Kakuro
|
443
|
+
*/
|
444
|
+
template <>
|
445
|
+
TupleSet generate<TupleSet>(int n, int c) {
|
446
|
+
// Setup search engine that enumerates all solutions
|
447
|
+
DistinctLinear* e = new DistinctLinear(n,c);
|
448
|
+
DFS<DistinctLinear> d(e);
|
449
|
+
delete e;
|
450
|
+
TupleSet ts;
|
451
|
+
while (DistinctLinear* s = d.next()) {
|
452
|
+
IntArgs ia(n);
|
453
|
+
for (int i = n; i--; ) ia[i] = s->x[i].val();
|
454
|
+
ts.add(ia);
|
455
|
+
delete s;
|
456
|
+
}
|
457
|
+
ts.finalize();
|
458
|
+
return ts;
|
459
|
+
}
|
460
|
+
|
461
|
+
/** \brief Class to remember already computed specifications of type Data
|
462
|
+
* \relates Kakuro
|
463
|
+
*/
|
464
|
+
template <class Data>
|
465
|
+
class Cache {
|
466
|
+
private:
|
467
|
+
class Entry {
|
468
|
+
public:
|
469
|
+
int n; ///< Number of variables
|
470
|
+
int c; ///< Sum of variables
|
471
|
+
Data d; ///< The previously computed DFA
|
472
|
+
Entry* next; ///< The next cache entry
|
473
|
+
};
|
474
|
+
Entry* cache; ///< Where all entries start
|
475
|
+
public:
|
476
|
+
/// Initialize cache as empty
|
477
|
+
Cache(void) : cache(NULL) {}
|
478
|
+
/// Return possibly cached Data for \a n distinct variables with sum \a c
|
479
|
+
Data get(int n, int c) {
|
480
|
+
for (Entry* e = cache; e != NULL; e = e->next)
|
481
|
+
if ((e->n == n) && (e->c == c))
|
482
|
+
return e->d;
|
483
|
+
Entry* e = new Entry;
|
484
|
+
e->n = n;
|
485
|
+
e->c = c;
|
486
|
+
e->d = generate<Data>(n,c);
|
487
|
+
e->next = cache;
|
488
|
+
cache = e;
|
489
|
+
return cache->d;
|
490
|
+
}
|
491
|
+
/// Delete cache entries
|
492
|
+
~Cache(void) {
|
493
|
+
Entry* e = cache;
|
494
|
+
while (e != NULL) {
|
495
|
+
Entry* d = e;
|
496
|
+
e = e->next;
|
497
|
+
delete d;
|
498
|
+
}
|
499
|
+
}
|
500
|
+
};
|
501
|
+
|
502
|
+
}
|
503
|
+
|
504
|
+
|
505
|
+
/**
|
506
|
+
* \brief %Example: Kakuro
|
507
|
+
*
|
508
|
+
* Another puzzle in the style of Sudoku.
|
509
|
+
*
|
510
|
+
* \ingroup ExProblem
|
511
|
+
*/
|
512
|
+
class Kakuro : public Example {
|
513
|
+
protected:
|
514
|
+
const int w; ///< Width of board
|
515
|
+
const int h; ///< Height of board
|
516
|
+
IntVarArray _b; ///< Variables for board
|
517
|
+
public:
|
518
|
+
/// Propagation variants
|
519
|
+
enum {
|
520
|
+
PROP_DFA, ///< Use DFAs for extensional constraints
|
521
|
+
PROP_TUPLE_SET ///< Use tuple sets for extensional constraints
|
522
|
+
};
|
523
|
+
/// Model variants
|
524
|
+
enum {
|
525
|
+
MODEL_DECOMPOSE,///< Decompose constraints
|
526
|
+
MODEL_COMBINE, ///< Combine distinct and linear constraint
|
527
|
+
};
|
528
|
+
/// Access the field at position \a x, \a y
|
529
|
+
IntVar& b(int x, int y) {
|
530
|
+
assert((x >= 0) && (x < w) && (y >= 0) && (y < h));
|
531
|
+
return _b[x+y*w];
|
532
|
+
}
|
533
|
+
/// Init the field at position \a x, \a y if necessary
|
534
|
+
void init(int x, int y) {
|
535
|
+
if (b(x,y).min() == 0)
|
536
|
+
b(x,y).init(this,1,9);
|
537
|
+
}
|
538
|
+
/// Post a distinct-linear constraint on variables \a x with sum \a c
|
539
|
+
template <class Data>
|
540
|
+
void distinctlinear(Cache<Data>& dc, const IntVarArgs& x, int c,
|
541
|
+
const SizeOptions& opt) {
|
542
|
+
if (opt.model() == MODEL_DECOMPOSE) {
|
543
|
+
distinct(this, x, opt.icl());
|
544
|
+
linear(this, x, IRT_EQ, c, opt.icl());
|
545
|
+
} else {
|
546
|
+
int n=x.size();
|
547
|
+
switch (n) {
|
548
|
+
case 0:
|
549
|
+
return;
|
550
|
+
case 1:
|
551
|
+
rel(this, x[0], IRT_EQ, c);
|
552
|
+
return;
|
553
|
+
case 8:
|
554
|
+
// Prune the single missing digit
|
555
|
+
rel(this, x, IRT_NQ, 9*(9+1)/2 - c);
|
556
|
+
break;
|
557
|
+
case 9:
|
558
|
+
break;
|
559
|
+
default:
|
560
|
+
if (c == n*(n+1)/2) {
|
561
|
+
// sum has unique decomposition: 1 + ... + n
|
562
|
+
rel(this, x, IRT_LQ, n);
|
563
|
+
} else if (c == n*(n+1)/2 + 1) {
|
564
|
+
// sum has unique decomposition: 1 + ... + n-1 + n+1
|
565
|
+
rel(this, x, IRT_LQ, n+1);
|
566
|
+
rel(this, x, IRT_NQ, n);
|
567
|
+
} else if (c == 9*(9+1)/2 - (9-n)*(9-n+1)/2) {
|
568
|
+
// sum has unique decomposition: (9-n+1) + (9-n+2) + ... + 9
|
569
|
+
rel(this, x, IRT_GQ, 9-n+1);
|
570
|
+
} else if (c == 9*(9+1)/2 - (9-n)*(9-n+1)/2 + 1) {
|
571
|
+
// sum has unique decomposition: (9-n) + (9-n+2) + ... + 9
|
572
|
+
rel(this, x, IRT_GQ, 9-n);
|
573
|
+
rel(this, x, IRT_NQ, 9-n+1);
|
574
|
+
} else if (n == 2) {
|
575
|
+
// Just use element constraint with no two equal digits
|
576
|
+
IntArgs e(c);
|
577
|
+
e[0]=0;
|
578
|
+
for (int i=1; i<c; i++)
|
579
|
+
e[i]=(c-i == i) ? 0 : c-i;
|
580
|
+
element(this, e, x[0], x[1]);
|
581
|
+
return;
|
582
|
+
} else {
|
583
|
+
extensional(this, x, dc.get(n,c), opt.icl(), opt.pk());
|
584
|
+
return;
|
585
|
+
}
|
586
|
+
}
|
587
|
+
distinct(this, x, opt.icl());
|
588
|
+
}
|
589
|
+
}
|
590
|
+
/// The actual problem
|
591
|
+
Kakuro(const SizeOptions& opt)
|
592
|
+
: w(examples[opt.size()][0]), h(examples[opt.size()][1]),
|
593
|
+
_b(this,w*h) {
|
594
|
+
IntVar black(this,0,0);
|
595
|
+
// Initialize all fields as black (unused). Only if a field
|
596
|
+
// is actually used in a constraint, create a fresh variable
|
597
|
+
// for it (done via init).
|
598
|
+
for (int i=w*h; i--; )
|
599
|
+
_b[i] = black;
|
600
|
+
const int* k = &examples[opt.size()][2];
|
601
|
+
// Cache of computed DFAs
|
602
|
+
Cache<DFA> dfa_cache;
|
603
|
+
// Cache of compute tuple sets
|
604
|
+
Cache<TupleSet> ts_cache;
|
605
|
+
// Process vertical constraints
|
606
|
+
while (*k >= 0) {
|
607
|
+
int x=*k++; int y=*k++; int n=*k++; int s=*k++;
|
608
|
+
IntVarArgs col(n);
|
609
|
+
for (int i=n; i--; ) {
|
610
|
+
init(x,y+i+1); col[i]=b(x,y+i+1);
|
611
|
+
}
|
612
|
+
if (opt.propagation() == PROP_TUPLE_SET)
|
613
|
+
distinctlinear(ts_cache,col,s,opt);
|
614
|
+
else
|
615
|
+
distinctlinear(dfa_cache,col,s,opt);
|
616
|
+
}
|
617
|
+
k++;
|
618
|
+
// Process horizontal constraints
|
619
|
+
while (*k >= 0) {
|
620
|
+
int x=*k++; int y=*k++; int n=*k++; int s=*k++;
|
621
|
+
IntVarArgs row(n);
|
622
|
+
for (int i=n; i--; ) {
|
623
|
+
init(x+i+1,y); row[i]=b(x+i+1,y);
|
624
|
+
}
|
625
|
+
if (opt.propagation() == PROP_TUPLE_SET)
|
626
|
+
distinctlinear(ts_cache,row,s,opt);
|
627
|
+
else
|
628
|
+
distinctlinear(dfa_cache,row,s,opt);
|
629
|
+
}
|
630
|
+
branch(this, _b, INT_VAR_SIZE_MIN, INT_VAL_SPLIT_MIN);
|
631
|
+
}
|
632
|
+
/// Constructor for cloning \a s
|
633
|
+
Kakuro(bool share, Kakuro& s) : Example(share,s), w(s.w), h(s.h) {
|
634
|
+
_b.update(this, share, s._b);
|
635
|
+
}
|
636
|
+
/// Perform copying during cloning
|
637
|
+
virtual Space*
|
638
|
+
copy(bool share) {
|
639
|
+
return new Kakuro(share,*this);
|
640
|
+
}
|
641
|
+
/// Print solution
|
642
|
+
virtual void
|
643
|
+
print(std::ostream& os) {
|
644
|
+
for (int y=0; y<h; y++) {
|
645
|
+
os << '\t';
|
646
|
+
for (int x=0; x<w; x++)
|
647
|
+
if (b(x,y).min() == 0)
|
648
|
+
os << ". ";
|
649
|
+
else
|
650
|
+
os << b(x,y) << ' ';
|
651
|
+
os << std::endl;
|
652
|
+
}
|
653
|
+
}
|
654
|
+
};
|
655
|
+
|
656
|
+
|
657
|
+
/** \brief Main-function
|
658
|
+
* \relates Kakuro
|
659
|
+
*/
|
660
|
+
int
|
661
|
+
main(int argc, char* argv[]) {
|
662
|
+
SizeOptions opt("Kakuro");
|
663
|
+
opt.propagation(Kakuro::PROP_TUPLE_SET);
|
664
|
+
opt.propagation(Kakuro::PROP_DFA,
|
665
|
+
"dfa","Use DFAs for storing combinations");
|
666
|
+
opt.propagation(Kakuro::PROP_TUPLE_SET,
|
667
|
+
"tuple-set","Use tuple sets for storing combinations");
|
668
|
+
|
669
|
+
opt.model(Kakuro::MODEL_COMBINE);
|
670
|
+
opt.model(Kakuro::MODEL_DECOMPOSE,
|
671
|
+
"decompose","decompose distinct and linear constraints");
|
672
|
+
opt.model(Kakuro::MODEL_COMBINE,
|
673
|
+
"combine","combine distinct and linear constraints");
|
674
|
+
|
675
|
+
opt.icl(ICL_DOM);
|
676
|
+
opt.parse(argc,argv);
|
677
|
+
if (opt.size() >= n_examples) {
|
678
|
+
std::cerr << "Error: size must be between 0 and "
|
679
|
+
<< n_examples-1 << std::endl;
|
680
|
+
return 1;
|
681
|
+
}
|
682
|
+
Example::run<Kakuro,DFS,SizeOptions>(opt);
|
683
|
+
return 0;
|
684
|
+
}
|
685
|
+
|
686
|
+
// STATISTICS: example-any
|