# -*- encoding: utf-8 -*-
# stub: dep-selector-libgecode 1.0.0 ruby lib
# stub: ext/libgecode3/extconf.rb

Gem::Specification.new do |s|
  s.name = "dep-selector-libgecode".freeze
  s.version = "1.0.0".freeze

  s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version=
  s.require_paths = ["lib".freeze]
  s.authors = ["danielsdeleo".freeze]
  s.date = "2014-04-14"
  s.description = "Installs a vendored copy of Gecode suitable for use with dep-selector".freeze
  s.email = ["dan@getchef.com".freeze]
  s.extensions = ["ext/libgecode3/extconf.rb".freeze]
  s.files = [".gitignore".freeze, "CONTRIBUTING.md".freeze, "Gemfile".freeze, "LICENSE.txt".freeze, "README.md".freeze, "Rakefile".freeze, "dep-selector-libgecode.gemspec".freeze, "ext/libgecode3/Makefile".freeze, "ext/libgecode3/extconf.rb".freeze, "ext/libgecode3/vendor/gecode-3.7.3/LICENSE".freeze, "ext/libgecode3/vendor/gecode-3.7.3/Makefile.contribs".freeze, "ext/libgecode3/vendor/gecode-3.7.3/Makefile.dep".freeze, "ext/libgecode3/vendor/gecode-3.7.3/Makefile.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/changelog.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/configure".freeze, "ext/libgecode3/vendor/gecode-3.7.3/configure.ac".freeze, "ext/libgecode3/vendor/gecode-3.7.3/configure.ac.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/README".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/AbstractWorker.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Doxyfile".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Makefile.in.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/OptVar.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCOPPlus.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/QCSPPlusUnblockable.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/README".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Strategy.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/StrategyNode.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableBranching.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/UnblockableViewValBranching.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Work.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkComparators.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/WorkManager.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/Worker.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/clean".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/configure.ac".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myDom.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/myspace.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qecode.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_parallel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcop.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_qcsp.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.cc".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/qsolver_unblockable.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/shortdesc.ac".freeze, "ext/libgecode3/vendor/gecode-3.7.3/contribs/qecode/vartype.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.conf.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/doxygen/doxygen.hh.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/all-interval.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/alpha.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/bacp.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/bibd.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/bin-packing.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/black-hole.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/car-sequencing.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/crew.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/crossword.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/crowded-chess.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/dominating-queens.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/domino.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/donald.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/efpa.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/eq20.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/golf.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/golomb-ruler.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/graph-color.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/grocery.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/hamming.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/ind-set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/kakuro.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/knights.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/langford-number.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/magic-sequence.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/magic-square.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/minesweeper.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/money.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/nonogram.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/open-shop.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/ortho-latin.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/partition.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/pentominoes.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/perfect-square.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/photo.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/queen-armies.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/queens.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/radiotherapy.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/sat.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/schurs-lemma.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/scowl.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/sports-league.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/steel-mill.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/steiner.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/sudoku.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/tsp.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/warehouses.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/examples/word-square.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode.m4".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/driver.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/options.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/driver/script.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/CHANGES".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/ast.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/conexpr.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/myplugin.pro".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/exampleplugin/test_myplugin.fzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/flatzinc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.lxx".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/lexer.yy.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_different_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/all_equal_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/among.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_least_set.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/at_most_set.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_capa.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/bin_packing_load.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/circuit.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/count.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/cumulative.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_bool.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/decreasing_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/diffn.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/disjoint.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/distribute.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/exactly_set.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/gecode.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_closed.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/global_cardinality_low_up_closed.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_bool.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/increasing_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/int_set_channel.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/inverse.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_less_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/lex_lesseq_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/link_set_to_booleans.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/maximum_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_bool.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/member_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/minimum_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/nvalue.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/partition_set.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/precedence.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/range.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/redefinitions.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/regular.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/roots.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sort.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/sum_pred.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_bool.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/mznlib/table_int.mzn".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/option.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.tab.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/parser.yxx".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/plugin.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/registry.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/symboltable.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/flatzinc/varspec.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/drawingcursor.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gecodelogo.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/gist.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/layoutcursor.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/mainwindow.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/node.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodecursor.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodestats.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodevisitor.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/nodewidget.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/preferences.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/qtgist.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/spacenode.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/mygist.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/standalone-example/standalone_example.pro".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/stopbrancher.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/textoutput.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/treecanvas.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/visualnode.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/gist/zoomToFitIcon.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/abs.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/divmod.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/max.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/mult.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqr.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/arithmetic/sqrt.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array-traits.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bin-packing/propagate.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/clause.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/eqv.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/bool/or.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-val-int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.bs".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.bs".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/post-view-int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-values.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/branch/select-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-multi.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/link-single.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/channel/val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/circuit/val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-gq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/int-lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/rel.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-gq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/count/view-lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/basic.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/edge-finding.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/man-prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/opt-prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/overload.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/task.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulative/tree.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/cumulatives/val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/bnd.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom-ctrl.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/graph.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/ter-dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/distinct/val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/range.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/dom/spec.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/pair.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/element/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exception.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/exec/when.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/basic.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/dfa.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/incremental.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/layered-graph.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/extensional/tuple-set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd-sup.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/bnd.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom-sup.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/post.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/gcc/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-1.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set-2.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/int-set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/limits.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear-int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-post.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-scale.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/bool-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-bin.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-dom.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-nary.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-noview.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-post.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/int-ter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/linear/post.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/member/re-prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/box.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/dim.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/man.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/no-overlap/opt.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-gq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/bool-lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/graph.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-gq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/int-lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/range-event.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/nvalues/sym-bit-matrix.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/precede/single.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/propagator.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lex.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/lq-le.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/rel/nq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/set-op.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sequence/violations.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/matching.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/narrowing.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/order.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/propagate.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/sorted/sortsup.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/support-values.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/fwd-to-bwd.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/iter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/man-to-opt.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/purge.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/sort.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/task/tree.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/detectable.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/edge-finding.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/man-prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/not-first-not-last.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/opt-prop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/overload.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/subsumption.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/task.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unary/tree.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/unshare.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/val-set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/bool.vis".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/delta.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var-imp/int.vis".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/var/print.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/bi-link.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/comb-ptr-flag.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/edge.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/graph.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/iter-prune-val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view-val-graph/node.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool-test.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/cached.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/constint.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/iter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/minus.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/neg-bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/offset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/print.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/rel-test.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/scale.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/int/view/zero.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-add.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-append.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-cache.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-compl.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-diff.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-empty.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-inter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-list.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-map.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minmax.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-minus.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-negative.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-offset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-operations.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-positive.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-rangelist.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-scale.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton-append.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-singleton.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-size.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-union.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/ranges-values.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-bitset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-inter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-list.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-map.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-minus.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-negative.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-offset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-positive.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-ranges.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-singleton.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-union.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/iter/values-unique.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/advisor.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/allocators.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/archive.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/branch.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-tiebreak.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/brancher.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/core.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/exception.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/global-prop-info.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/macros.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-config.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/memory-manager.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/modevent.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/propagator.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/range-list.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/region.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/shared-array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-imp.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var-type.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/var.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/kernel/wait.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/arithmetic.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/bool-expr.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/exception.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-expr.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/lin-rel.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/matrix.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/optimize.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/reg.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-expr.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/minimodel/set-rel.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/bab.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/dfs.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/options.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/bab.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/dfs.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/engine.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/path.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/parallel/restart.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/restart.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/bab.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/dfs.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/path.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/sequential/restart.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/statistics.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/stop.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/support.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/search/worker.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array-traits.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.bs".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/post-view.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-val.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/branch/select-view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/cardinality.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/conv.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/convex/hull.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/distinct/atmostOne.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/dom.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/disjoint.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/inter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/union.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/element/unionConst.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exception.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/exec.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/card.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-bool.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/channel-int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/match.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/minmax.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/int/weights.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/limits.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/precede/single.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-cvv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vcv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-const-vvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-singleton.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op-ternary.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/common.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/inter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/partition.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-cvv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl-vvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-compl.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-cvv.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl-vvc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post-nocompl.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/post.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/subofunion.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/superofinter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel-op/union.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/common.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nosubset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/nq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-eq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-lq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/re-subset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/rel/subset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/common.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq-u.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/sequence/seq.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/delta.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/integerset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/iter.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var-imp/set.vis".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/print.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/var/set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/cached.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/complement.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/const.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/print.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/set/view/singleton.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/auto-link.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset-base.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/bitset.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/block-allocator.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/cast.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/config.hpp.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-array.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-queue.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/dynamic-stack.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/exception.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/heap.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/int-type.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/macros.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/marked-pointer.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/random.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/sort.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/static-stack.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/none.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/pthreads.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/thread.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/thread/windows.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/gecode/support/timer.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/install-sh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/allexamples.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/back.png".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/footer.html".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/gecode-logo-100.png".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/header.html".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/doxygen/stylesheet.css".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/fixautoheader.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/fixmanifest.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/fixproperties.sh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/gecode-logo.ico".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genbranch.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genchangelog.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/gencurrentchangelog.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genlcovmakefile.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genlicense.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genrc.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genstatistics.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/gentxtchangelog.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genvarimp.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/genxcodeproj.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/getrevision.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/makedepend.perl".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore-root.txt".freeze, "ext/libgecode3/vendor/gecode-3.7.3/misc/svn-ignore.txt".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/afc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/array.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/assign.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/assign.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/assign/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/assign/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/assign/set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/branch.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/branch.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/branch/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/branch/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/branch/set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/arithmetic.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/basic.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/bin-packing.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/channel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/circuit.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/count.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulative.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/cumulatives.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/distinct.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/dom.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/element.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/exec.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/extensional.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/gcc.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/linear.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/member.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-arithmetic.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-bool.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-count.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-lin.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/mm-rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/no-overlap.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/nvalues.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/precede.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/sequence.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/sorted.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/unary.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/int/unshare.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/search.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/construct.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/convex.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/distinct.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/dom.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/element.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/exec.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/int.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/mm-set.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/precede.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op-const.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/rel-op.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/rel.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/set/sequence.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/test.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/test.hh".freeze, "ext/libgecode3/vendor/gecode-3.7.3/test/test.hpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/fz.cpp".freeze, "ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.bat.in".freeze, "ext/libgecode3/vendor/gecode-3.7.3/tools/flatzinc/mzn-gecode.in".freeze, "lib/dep-selector-libgecode.rb".freeze, "lib/dep-selector-libgecode/vendored-gecode/.gitkeep".freeze, "lib/dep-selector-libgecode/version.rb".freeze]
  s.homepage = "".freeze
  s.licenses = ["MIT".freeze, "Apache 2.0".freeze]
  s.rubygems_version = "3.5.10".freeze
  s.summary = "Installs a vendored copy of Gecode suitable for use with dep-selector".freeze

  s.specification_version = 4

  s.add_development_dependency(%q<bundler>.freeze, ["~> 1.5".freeze])
  s.add_development_dependency(%q<rake>.freeze, [">= 0".freeze])
end