# -*- encoding: utf-8 -*- # stub: gecoder-with-gecode 0.9.1 ruby lib # stub: ext/gecode-2.2.0/configureext/extconf.rb Gem::Specification.new do |s| s.name = "gecoder-with-gecode".freeze s.version = "0.9.1".freeze s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version= s.require_paths = ["lib".freeze] s.authors = ["Gecode/R Development Team".freeze] s.date = "2008-08-29" s.description = "Gecode/R is a Ruby interface to the Gecode constraint programming library. Gecode/R is intended for people with no previous experience of constraint programming, aiming to be easy to pick up and use.".freeze s.email = "gecoder-users@rubyforge.org".freeze s.extensions = ["ext/gecode-2.2.0/configure".freeze, "ext/extconf.rb".freeze] s.extra_rdoc_files = ["README".freeze, "CHANGES".freeze, "THANKS".freeze, "LGPL-LICENSE".freeze, "lib/gecoder.rb".freeze, "lib/gecoder/bindings.rb".freeze, "lib/gecoder/interface/branch.rb".freeze, "lib/gecoder/interface/enum_matrix.rb".freeze, "lib/gecoder/interface/search.rb".freeze, "lib/gecoder/interface/constraints.rb".freeze, "lib/gecoder/interface/convenience.rb".freeze, "lib/gecoder/interface/variables.rb".freeze, "lib/gecoder/interface/mixin.rb".freeze, "lib/gecoder/interface/enum_wrapper.rb".freeze, "lib/gecoder/interface/constraints/set_var_constraints.rb".freeze, "lib/gecoder/interface/constraints/extensional_regexp.rb".freeze, "lib/gecoder/interface/constraints/selected_set_constraints.rb".freeze, "lib/gecoder/interface/constraints/int_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/set/channel.rb".freeze, "lib/gecoder/interface/constraints/set/cardinality.rb".freeze, "lib/gecoder/interface/constraints/set/include.rb".freeze, "lib/gecoder/interface/constraints/set/operation.rb".freeze, "lib/gecoder/interface/constraints/set/connection.rb".freeze, "lib/gecoder/interface/constraints/set/domain.rb".freeze, "lib/gecoder/interface/constraints/set/relation.rb".freeze, "lib/gecoder/interface/constraints/set_elements/relation.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/int/channel.rb".freeze, "lib/gecoder/interface/constraints/int/arithmetic.rb".freeze, "lib/gecoder/interface/constraints/int/linear.rb".freeze, "lib/gecoder/interface/constraints/int/domain.rb".freeze, "lib/gecoder/interface/constraints/int/relation.rb".freeze, "lib/gecoder/interface/constraints/set_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/bool/channel.rb".freeze, "lib/gecoder/interface/constraints/bool/boolean.rb".freeze, "lib/gecoder/interface/constraints/bool/linear.rb".freeze, "lib/gecoder/interface/constraints/int_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/int_enum/distinct.rb".freeze, "lib/gecoder/interface/constraints/int_enum/element.rb".freeze, "lib/gecoder/interface/constraints/int_enum/arithmetic.rb".freeze, "lib/gecoder/interface/constraints/int_enum/count.rb".freeze, "lib/gecoder/interface/constraints/int_enum/extensional.rb".freeze, "lib/gecoder/interface/constraints/int_enum/equality.rb".freeze, "lib/gecoder/interface/constraints/int_enum/sort.rb".freeze, "lib/gecoder/interface/constraints/set_elements_constraints.rb".freeze, "lib/gecoder/interface/constraints/bool_var_constraints.rb".freeze, "lib/gecoder/interface/constraints/bool_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/selected_set/select.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum/element.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum/operation.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/extensional.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/relation.rb".freeze, "lib/gecoder/interface/constraints/int_var_constraints.rb".freeze, "lib/gecoder/interface/constraints/reifiable_constraints.rb".freeze, "lib/gecoder/interface/constraints/set_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/set_enum/distinct.rb".freeze, "lib/gecoder/interface/constraints/set_enum/element.rb".freeze, "lib/gecoder/interface/constraints/set_enum/operation.rb".freeze, "lib/gecoder/interface/binding_changes.rb".freeze, "lib/gecoder/version.rb".freeze, "lib/gecoder/interface.rb".freeze, "lib/gecoder/bindings/bindings.rb".freeze] s.files = ["CHANGES".freeze, "COPYING".freeze, "LGPL-LICENSE".freeze, "README".freeze, "Rakefile".freeze, "THANKS".freeze, "example/equation_system.rb".freeze, "example/example_helper.rb".freeze, "example/magic_sequence.rb".freeze, "example/queens.rb".freeze, "example/send_more_money.rb".freeze, "example/send_most_money.rb".freeze, "example/square_tiling.rb".freeze, "example/sudoku-set.rb".freeze, "example/sudoku.rb".freeze, "ext/extconf.rb".freeze, "ext/gecode-2.2.0/LICENSE".freeze, "ext/gecode-2.2.0/Makefile.contribs".freeze, "ext/gecode-2.2.0/Makefile.dep".freeze, "ext/gecode-2.2.0/Makefile.in".freeze, "ext/gecode-2.2.0/changelog.in".freeze, "ext/gecode-2.2.0/configure".freeze, "ext/gecode-2.2.0/configure.ac".freeze, "ext/gecode-2.2.0/configure.ac.in".freeze, "ext/gecode-2.2.0/contribs".freeze, "ext/gecode-2.2.0/contribs/README".freeze, "ext/gecode-2.2.0/contribs/qecode".freeze, "ext/gecode-2.2.0/contribs/qecode/Doxyfile".freeze, "ext/gecode-2.2.0/contribs/qecode/Implicative.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/Implicative.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/Makefile.in.in".freeze, "ext/gecode-2.2.0/contribs/qecode/OptVar.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/OptVar.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/Strategy.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/Strategy.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/autom4te.cache".freeze, "ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0".freeze, "ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests".freeze, "ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0".freeze, "ext/gecode-2.2.0/contribs/qecode/config.log".freeze, "ext/gecode-2.2.0/contribs/qecode/config.status".freeze, "ext/gecode-2.2.0/contribs/qecode/configure".freeze, "ext/gecode-2.2.0/contribs/qecode/configure.ac".freeze, "ext/gecode-2.2.0/contribs/qecode/examples".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/COMPILING".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp".freeze, "ext/gecode-2.2.0/contribs/qecode/heap.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/myDom.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/myspace.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/myspace.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/qecode.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/qsolver.cc".freeze, "ext/gecode-2.2.0/contribs/qecode/qsolver.hh".freeze, "ext/gecode-2.2.0/contribs/qecode/shortdesc.ac".freeze, "ext/gecode-2.2.0/contribs/qecode/vartype.hh".freeze, "ext/gecode-2.2.0/doxygen".freeze, "ext/gecode-2.2.0/doxygen/doxygen.conf.in".freeze, "ext/gecode-2.2.0/doxygen/doxygen.hh.in".freeze, "ext/gecode-2.2.0/doxygen/reflection.hh".freeze, "ext/gecode-2.2.0/examples".freeze, "ext/gecode-2.2.0/examples/all-interval.cc".freeze, "ext/gecode-2.2.0/examples/alpha.cc".freeze, "ext/gecode-2.2.0/examples/bacp.cc".freeze, "ext/gecode-2.2.0/examples/baseline.cc".freeze, "ext/gecode-2.2.0/examples/bibd.cc".freeze, "ext/gecode-2.2.0/examples/black-hole.cc".freeze, "ext/gecode-2.2.0/examples/crew.cc".freeze, "ext/gecode-2.2.0/examples/crowded-chess.cc".freeze, "ext/gecode-2.2.0/examples/domino.cc".freeze, "ext/gecode-2.2.0/examples/donald.cc".freeze, "ext/gecode-2.2.0/examples/eq20.cc".freeze, "ext/gecode-2.2.0/examples/golf.cc".freeze, "ext/gecode-2.2.0/examples/golomb-ruler.cc".freeze, "ext/gecode-2.2.0/examples/graph-color.cc".freeze, "ext/gecode-2.2.0/examples/grocery.cc".freeze, "ext/gecode-2.2.0/examples/hamming.cc".freeze, "ext/gecode-2.2.0/examples/ind-set.cc".freeze, "ext/gecode-2.2.0/examples/javascript.cc".freeze, "ext/gecode-2.2.0/examples/kakuro.cc".freeze, "ext/gecode-2.2.0/examples/knights.cc".freeze, "ext/gecode-2.2.0/examples/langford-number.cc".freeze, "ext/gecode-2.2.0/examples/magic-sequence.cc".freeze, "ext/gecode-2.2.0/examples/magic-square.cc".freeze, "ext/gecode-2.2.0/examples/minesweeper.cc".freeze, "ext/gecode-2.2.0/examples/money.cc".freeze, "ext/gecode-2.2.0/examples/nonogram.cc".freeze, "ext/gecode-2.2.0/examples/ortho-latin.cc".freeze, "ext/gecode-2.2.0/examples/partition.cc".freeze, "ext/gecode-2.2.0/examples/pentominoes.cc".freeze, "ext/gecode-2.2.0/examples/perfect-square.cc".freeze, "ext/gecode-2.2.0/examples/photo.cc".freeze, "ext/gecode-2.2.0/examples/queen-armies.cc".freeze, "ext/gecode-2.2.0/examples/queens.cc".freeze, "ext/gecode-2.2.0/examples/queens.js".freeze, "ext/gecode-2.2.0/examples/sports-league.cc".freeze, "ext/gecode-2.2.0/examples/steiner.cc".freeze, "ext/gecode-2.2.0/examples/stress-distinct.cc".freeze, "ext/gecode-2.2.0/examples/stress-domain.cc".freeze, "ext/gecode-2.2.0/examples/stress-element.cc".freeze, "ext/gecode-2.2.0/examples/stress-exec.cc".freeze, "ext/gecode-2.2.0/examples/stress-extensional.cc".freeze, "ext/gecode-2.2.0/examples/stress-linear-bool.cc".freeze, "ext/gecode-2.2.0/examples/stress-min.cc".freeze, "ext/gecode-2.2.0/examples/stress-search.cc".freeze, "ext/gecode-2.2.0/examples/sudoku.cc".freeze, "ext/gecode-2.2.0/examples/support".freeze, "ext/gecode-2.2.0/examples/support.hh".freeze, "ext/gecode-2.2.0/examples/support/example.cc".freeze, "ext/gecode-2.2.0/examples/support/example.icc".freeze, "ext/gecode-2.2.0/examples/support/options.cc".freeze, "ext/gecode-2.2.0/examples/support/options.icc".freeze, "ext/gecode-2.2.0/examples/tsp.cc".freeze, "ext/gecode-2.2.0/examples/warehouses.cc".freeze, "ext/gecode-2.2.0/gecode".freeze, "ext/gecode-2.2.0/gecode.m4".freeze, "ext/gecode-2.2.0/gecode/cpltset".freeze, "ext/gecode-2.2.0/gecode/cpltset.hh".freeze, "ext/gecode-2.2.0/gecode/cpltset/array.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/array.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/bddmanager.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/bddmanager.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/branch".freeze, "ext/gecode-2.2.0/gecode/cpltset/branch.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/branch.hh".freeze, "ext/gecode-2.2.0/gecode/cpltset/branch/select-val.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/branch/select-view.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/atmost.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/cardinality.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/distinct.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/dom.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/partition.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/rangeroots.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/rel.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/select.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/constraints/singleton.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/exception.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators.hh".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/binary.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/nary.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/naryone.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/narytwo.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/singleton.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/propagators/unary.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/support.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/support.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/var".freeze, "ext/gecode-2.2.0/gecode/cpltset/var-imp".freeze, "ext/gecode-2.2.0/gecode/cpltset/var-imp.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/var-imp/cpltset.vis".freeze, "ext/gecode-2.2.0/gecode/cpltset/var/cpltset.cc".freeze, "ext/gecode-2.2.0/gecode/cpltset/var/cpltset.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/view".freeze, "ext/gecode-2.2.0/gecode/cpltset/view.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/view/cpltset.icc".freeze, "ext/gecode-2.2.0/gecode/cpltset/view/print.cc".freeze, "ext/gecode-2.2.0/gecode/gist".freeze, "ext/gecode-2.2.0/gecode/gist.hh".freeze, "ext/gecode-2.2.0/gecode/gist/addchild.cc".freeze, "ext/gecode-2.2.0/gecode/gist/addchild.hh".freeze, "ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.cc".freeze, "ext/gecode-2.2.0/gecode/gist/addvisualisationdialog.hh".freeze, "ext/gecode-2.2.0/gecode/gist/better.hh".freeze, "ext/gecode-2.2.0/gecode/gist/config.cc".freeze, "ext/gecode-2.2.0/gecode/gist/config.hh".freeze, "ext/gecode-2.2.0/gecode/gist/drawingcursor.cc".freeze, "ext/gecode-2.2.0/gecode/gist/drawingcursor.hh".freeze, "ext/gecode-2.2.0/gecode/gist/drawingcursor.icc".freeze, "ext/gecode-2.2.0/gecode/gist/gecodelogo.cc".freeze, "ext/gecode-2.2.0/gecode/gist/gecodelogo.hh".freeze, "ext/gecode-2.2.0/gecode/gist/gist.cc".freeze, "ext/gecode-2.2.0/gecode/gist/gist.icc".freeze, "ext/gecode-2.2.0/gecode/gist/layoutcursor.cc".freeze, "ext/gecode-2.2.0/gecode/gist/layoutcursor.hh".freeze, "ext/gecode-2.2.0/gecode/gist/layoutcursor.icc".freeze, "ext/gecode-2.2.0/gecode/gist/mainwindow.cc".freeze, "ext/gecode-2.2.0/gecode/gist/mainwindow.hh".freeze, "ext/gecode-2.2.0/gecode/gist/node.cc".freeze, "ext/gecode-2.2.0/gecode/gist/node.hh".freeze, "ext/gecode-2.2.0/gecode/gist/node.icc".freeze, "ext/gecode-2.2.0/gecode/gist/nodecursor.cc".freeze, "ext/gecode-2.2.0/gecode/gist/nodecursor.hh".freeze, "ext/gecode-2.2.0/gecode/gist/nodecursor.icc".freeze, "ext/gecode-2.2.0/gecode/gist/nodevisitor.hh".freeze, "ext/gecode-2.2.0/gecode/gist/nodevisitor.icc".freeze, "ext/gecode-2.2.0/gecode/gist/preferences.cc".freeze, "ext/gecode-2.2.0/gecode/gist/preferences.hh".freeze, "ext/gecode-2.2.0/gecode/gist/spacenode.cc".freeze, "ext/gecode-2.2.0/gecode/gist/spacenode.hh".freeze, "ext/gecode-2.2.0/gecode/gist/spacenode.icc".freeze, "ext/gecode-2.2.0/gecode/gist/test.cc".freeze, "ext/gecode-2.2.0/gecode/gist/textoutput.cc".freeze, "ext/gecode-2.2.0/gecode/gist/textoutput.hh".freeze, "ext/gecode-2.2.0/gecode/gist/treecanvas.cc".freeze, "ext/gecode-2.2.0/gecode/gist/treecanvas.hh".freeze, "ext/gecode-2.2.0/gecode/gist/ui_addchild.hh".freeze, "ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.cc".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/vararrayview.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/vararrayviewt.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/varitem.cc".freeze, "ext/gecode-2.2.0/gecode/gist/visualisation/varitem.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualnode.cc".freeze, "ext/gecode-2.2.0/gecode/gist/visualnode.hh".freeze, "ext/gecode-2.2.0/gecode/gist/visualnode.icc".freeze, "ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc".freeze, "ext/gecode-2.2.0/gecode/int".freeze, "ext/gecode-2.2.0/gecode/int.hh".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic.cc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic.hh".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/max.icc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc".freeze, "ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc".freeze, "ext/gecode-2.2.0/gecode/int/array.cc".freeze, "ext/gecode-2.2.0/gecode/int/array.icc".freeze, "ext/gecode-2.2.0/gecode/int/bool".freeze, "ext/gecode-2.2.0/gecode/int/bool.cc".freeze, "ext/gecode-2.2.0/gecode/int/bool.hh".freeze, "ext/gecode-2.2.0/gecode/int/bool/base.icc".freeze, "ext/gecode-2.2.0/gecode/int/bool/eq.icc".freeze, "ext/gecode-2.2.0/gecode/int/bool/eqv.icc".freeze, "ext/gecode-2.2.0/gecode/int/bool/lq.icc".freeze, "ext/gecode-2.2.0/gecode/int/bool/or.icc".freeze, "ext/gecode-2.2.0/gecode/int/branch".freeze, "ext/gecode-2.2.0/gecode/int/branch.cc".freeze, "ext/gecode-2.2.0/gecode/int/branch.hh".freeze, "ext/gecode-2.2.0/gecode/int/branch/create-branch.icc".freeze, "ext/gecode-2.2.0/gecode/int/branch/select-val.icc".freeze, "ext/gecode-2.2.0/gecode/int/branch/select-view.icc".freeze, "ext/gecode-2.2.0/gecode/int/channel".freeze, "ext/gecode-2.2.0/gecode/int/channel.cc".freeze, "ext/gecode-2.2.0/gecode/int/channel.hh".freeze, "ext/gecode-2.2.0/gecode/int/channel/base.icc".freeze, "ext/gecode-2.2.0/gecode/int/channel/dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/channel/link-multi.cc".freeze, "ext/gecode-2.2.0/gecode/int/channel/link-multi.icc".freeze, "ext/gecode-2.2.0/gecode/int/channel/link-single.cc".freeze, "ext/gecode-2.2.0/gecode/int/channel/link-single.icc".freeze, "ext/gecode-2.2.0/gecode/int/channel/val.icc".freeze, "ext/gecode-2.2.0/gecode/int/circuit".freeze, "ext/gecode-2.2.0/gecode/int/circuit.cc".freeze, "ext/gecode-2.2.0/gecode/int/circuit.hh".freeze, "ext/gecode-2.2.0/gecode/int/circuit/base.icc".freeze, "ext/gecode-2.2.0/gecode/int/circuit/dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/circuit/val.icc".freeze, "ext/gecode-2.2.0/gecode/int/count".freeze, "ext/gecode-2.2.0/gecode/int/count.cc".freeze, "ext/gecode-2.2.0/gecode/int/count.hh".freeze, "ext/gecode-2.2.0/gecode/int/count/int.icc".freeze, "ext/gecode-2.2.0/gecode/int/count/rel.icc".freeze, "ext/gecode-2.2.0/gecode/int/count/view.icc".freeze, "ext/gecode-2.2.0/gecode/int/cumulatives".freeze, "ext/gecode-2.2.0/gecode/int/cumulatives.cc".freeze, "ext/gecode-2.2.0/gecode/int/cumulatives.hh".freeze, "ext/gecode-2.2.0/gecode/int/cumulatives/val.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct".freeze, "ext/gecode-2.2.0/gecode/int/distinct.cc".freeze, "ext/gecode-2.2.0/gecode/int/distinct.hh".freeze, "ext/gecode-2.2.0/gecode/int/distinct/bilink.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/bnd.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/combptr.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/edge.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/node.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/distinct/val.icc".freeze, "ext/gecode-2.2.0/gecode/int/dom".freeze, "ext/gecode-2.2.0/gecode/int/dom.cc".freeze, "ext/gecode-2.2.0/gecode/int/dom.hh".freeze, "ext/gecode-2.2.0/gecode/int/dom/range.icc".freeze, "ext/gecode-2.2.0/gecode/int/dom/spec.icc".freeze, "ext/gecode-2.2.0/gecode/int/element".freeze, "ext/gecode-2.2.0/gecode/int/element.cc".freeze, "ext/gecode-2.2.0/gecode/int/element.hh".freeze, "ext/gecode-2.2.0/gecode/int/element/int.icc".freeze, "ext/gecode-2.2.0/gecode/int/element/view.icc".freeze, "ext/gecode-2.2.0/gecode/int/exception.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional".freeze, "ext/gecode-2.2.0/gecode/int/extensional.cc".freeze, "ext/gecode-2.2.0/gecode/int/extensional.hh".freeze, "ext/gecode-2.2.0/gecode/int/extensional/base.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/basic.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/bitset.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/dfa.cc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/dfa.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/incremental.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/layered-graph.icc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc".freeze, "ext/gecode-2.2.0/gecode/int/extensional/tuple-set.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc".freeze, "ext/gecode-2.2.0/gecode/int/gcc.cc".freeze, "ext/gecode-2.2.0/gecode/int/gcc.hh".freeze, "ext/gecode-2.2.0/gecode/int/gcc/bnd.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/gccbndsup.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/graphsup.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/lbc.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/occur.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/ubc.icc".freeze, "ext/gecode-2.2.0/gecode/int/gcc/val.icc".freeze, "ext/gecode-2.2.0/gecode/int/int-set.cc".freeze, "ext/gecode-2.2.0/gecode/int/int-set.icc".freeze, "ext/gecode-2.2.0/gecode/int/limits.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear".freeze, "ext/gecode-2.2.0/gecode/int/linear-bool.cc".freeze, "ext/gecode-2.2.0/gecode/int/linear-int.cc".freeze, "ext/gecode-2.2.0/gecode/int/linear.hh".freeze, "ext/gecode-2.2.0/gecode/int/linear/bool-int.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/bool-post.cc".freeze, "ext/gecode-2.2.0/gecode/int/linear/bool-scale.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/bool-view.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-bin.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-dom.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-nary.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-noview.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-post.cc".freeze, "ext/gecode-2.2.0/gecode/int/linear/int-ter.icc".freeze, "ext/gecode-2.2.0/gecode/int/linear/post.icc".freeze, "ext/gecode-2.2.0/gecode/int/propagator.icc".freeze, "ext/gecode-2.2.0/gecode/int/rel".freeze, "ext/gecode-2.2.0/gecode/int/rel.cc".freeze, "ext/gecode-2.2.0/gecode/int/rel.hh".freeze, "ext/gecode-2.2.0/gecode/int/rel/eq.icc".freeze, "ext/gecode-2.2.0/gecode/int/rel/lex.icc".freeze, "ext/gecode-2.2.0/gecode/int/rel/lq-le.icc".freeze, "ext/gecode-2.2.0/gecode/int/rel/nq.icc".freeze, "ext/gecode-2.2.0/gecode/int/sorted".freeze, "ext/gecode-2.2.0/gecode/int/sorted.cc".freeze, "ext/gecode-2.2.0/gecode/int/sorted.hh".freeze, "ext/gecode-2.2.0/gecode/int/sorted/matching.icc".freeze, "ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc".freeze, "ext/gecode-2.2.0/gecode/int/sorted/order.icc".freeze, "ext/gecode-2.2.0/gecode/int/sorted/propagate.icc".freeze, "ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc".freeze, "ext/gecode-2.2.0/gecode/int/support-values.hh".freeze, "ext/gecode-2.2.0/gecode/int/support-values.icc".freeze, "ext/gecode-2.2.0/gecode/int/unshare.cc".freeze, "ext/gecode-2.2.0/gecode/int/var".freeze, "ext/gecode-2.2.0/gecode/int/var-imp".freeze, "ext/gecode-2.2.0/gecode/int/var-imp.icc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/bool.cc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/bool.icc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/bool.vis".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/delta.icc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/int.cc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/int.icc".freeze, "ext/gecode-2.2.0/gecode/int/var-imp/int.vis".freeze, "ext/gecode-2.2.0/gecode/int/var/bool.cc".freeze, "ext/gecode-2.2.0/gecode/int/var/bool.icc".freeze, "ext/gecode-2.2.0/gecode/int/var/int.cc".freeze, "ext/gecode-2.2.0/gecode/int/var/int.icc".freeze, "ext/gecode-2.2.0/gecode/int/view".freeze, "ext/gecode-2.2.0/gecode/int/view.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/bool.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/constint.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/int.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/iter.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/minus.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/offset.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/print.cc".freeze, "ext/gecode-2.2.0/gecode/int/view/rtest.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/scale.icc".freeze, "ext/gecode-2.2.0/gecode/int/view/zero.icc".freeze, "ext/gecode-2.2.0/gecode/iter".freeze, "ext/gecode-2.2.0/gecode/iter.hh".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-add.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-append.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-array.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-cache.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-compl.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-diff.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-empty.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-inter.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-map.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-minmax.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-minus.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-negative.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-offset.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-operations.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-positive.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-scale.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-singleton-append.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-singleton.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-size.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-union.icc".freeze, "ext/gecode-2.2.0/gecode/iter/ranges-values.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-array.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-inter.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-map.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-minus.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-negative.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-offset.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-positive.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-ranges.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-singleton.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-union.icc".freeze, "ext/gecode-2.2.0/gecode/iter/values-unique.icc".freeze, "ext/gecode-2.2.0/gecode/iter/virtual-ranges-compl.icc".freeze, "ext/gecode-2.2.0/gecode/iter/virtual-ranges-inter.icc".freeze, "ext/gecode-2.2.0/gecode/iter/virtual-ranges-union.icc".freeze, "ext/gecode-2.2.0/gecode/iter/virtual-ranges.icc".freeze, "ext/gecode-2.2.0/gecode/kernel".freeze, "ext/gecode-2.2.0/gecode/kernel.hh".freeze, "ext/gecode-2.2.0/gecode/kernel/advisor.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/array.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/branching.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/core.cc".freeze, "ext/gecode-2.2.0/gecode/kernel/core.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/exception.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/macros.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/memory-manager.cc".freeze, "ext/gecode-2.2.0/gecode/kernel/memory-manager.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/modevent.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/propagator.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/reflection.cc".freeze, "ext/gecode-2.2.0/gecode/kernel/reflection.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/shared-array.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-imp.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-map.cc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-map.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-traits.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-type.cc".freeze, "ext/gecode-2.2.0/gecode/kernel/var-type.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/var.icc".freeze, "ext/gecode-2.2.0/gecode/kernel/view.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel".freeze, "ext/gecode-2.2.0/gecode/minimodel.hh".freeze, "ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/bool-expr.cc".freeze, "ext/gecode-2.2.0/gecode/minimodel/bool-expr.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/bool-rel.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/exception.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/lin-expr.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/lin-rel.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/matrix.icc".freeze, "ext/gecode-2.2.0/gecode/minimodel/reg.cc".freeze, "ext/gecode-2.2.0/gecode/search".freeze, "ext/gecode-2.2.0/gecode/search.hh".freeze, "ext/gecode-2.2.0/gecode/search/bab.cc".freeze, "ext/gecode-2.2.0/gecode/search/bab.icc".freeze, "ext/gecode-2.2.0/gecode/search/dfs.cc".freeze, "ext/gecode-2.2.0/gecode/search/dfs.icc".freeze, "ext/gecode-2.2.0/gecode/search/engine-ctrl.icc".freeze, "ext/gecode-2.2.0/gecode/search/lds.cc".freeze, "ext/gecode-2.2.0/gecode/search/lds.icc".freeze, "ext/gecode-2.2.0/gecode/search/options.cc".freeze, "ext/gecode-2.2.0/gecode/search/options.icc".freeze, "ext/gecode-2.2.0/gecode/search/reco-stack.icc".freeze, "ext/gecode-2.2.0/gecode/search/restart.icc".freeze, "ext/gecode-2.2.0/gecode/search/statistics.icc".freeze, "ext/gecode-2.2.0/gecode/search/stop.cc".freeze, "ext/gecode-2.2.0/gecode/search/stop.icc".freeze, "ext/gecode-2.2.0/gecode/serialization".freeze, "ext/gecode-2.2.0/gecode/serialization.hh".freeze, "ext/gecode-2.2.0/gecode/serialization/boost.cc".freeze, "ext/gecode-2.2.0/gecode/serialization/boost.icc".freeze, "ext/gecode-2.2.0/gecode/serialization/flatzinc.cc".freeze, "ext/gecode-2.2.0/gecode/serialization/javascript.cc".freeze, "ext/gecode-2.2.0/gecode/serialization/javascript.hh".freeze, "ext/gecode-2.2.0/gecode/serialization/register.cc".freeze, "ext/gecode-2.2.0/gecode/set".freeze, "ext/gecode-2.2.0/gecode/set.hh".freeze, "ext/gecode-2.2.0/gecode/set/array.cc".freeze, "ext/gecode-2.2.0/gecode/set/array.icc".freeze, "ext/gecode-2.2.0/gecode/set/branch".freeze, "ext/gecode-2.2.0/gecode/set/branch.cc".freeze, "ext/gecode-2.2.0/gecode/set/branch.hh".freeze, "ext/gecode-2.2.0/gecode/set/branch/select-val.icc".freeze, "ext/gecode-2.2.0/gecode/set/branch/select-view.icc".freeze, "ext/gecode-2.2.0/gecode/set/cardinality.cc".freeze, "ext/gecode-2.2.0/gecode/set/convex".freeze, "ext/gecode-2.2.0/gecode/set/convex.cc".freeze, "ext/gecode-2.2.0/gecode/set/convex.hh".freeze, "ext/gecode-2.2.0/gecode/set/convex/conv.cc".freeze, "ext/gecode-2.2.0/gecode/set/convex/conv.icc".freeze, "ext/gecode-2.2.0/gecode/set/convex/hull.cc".freeze, "ext/gecode-2.2.0/gecode/set/convex/hull.icc".freeze, "ext/gecode-2.2.0/gecode/set/distinct".freeze, "ext/gecode-2.2.0/gecode/set/distinct.cc".freeze, "ext/gecode-2.2.0/gecode/set/distinct.hh".freeze, "ext/gecode-2.2.0/gecode/set/distinct/atmostOne.cc".freeze, "ext/gecode-2.2.0/gecode/set/distinct/atmostOne.icc".freeze, "ext/gecode-2.2.0/gecode/set/dom.cc".freeze, "ext/gecode-2.2.0/gecode/set/element".freeze, "ext/gecode-2.2.0/gecode/set/element.cc".freeze, "ext/gecode-2.2.0/gecode/set/element.hh".freeze, "ext/gecode-2.2.0/gecode/set/element/disjoint.cc".freeze, "ext/gecode-2.2.0/gecode/set/element/disjoint.icc".freeze, "ext/gecode-2.2.0/gecode/set/element/idxarray.hh".freeze, "ext/gecode-2.2.0/gecode/set/element/idxarray.icc".freeze, "ext/gecode-2.2.0/gecode/set/element/inter.icc".freeze, "ext/gecode-2.2.0/gecode/set/element/union.icc".freeze, "ext/gecode-2.2.0/gecode/set/element/unionConst.icc".freeze, "ext/gecode-2.2.0/gecode/set/exception.icc".freeze, "ext/gecode-2.2.0/gecode/set/int".freeze, "ext/gecode-2.2.0/gecode/set/int.cc".freeze, "ext/gecode-2.2.0/gecode/set/int.hh".freeze, "ext/gecode-2.2.0/gecode/set/int/card.icc".freeze, "ext/gecode-2.2.0/gecode/set/int/channel-bool.icc".freeze, "ext/gecode-2.2.0/gecode/set/int/channel-int.icc".freeze, "ext/gecode-2.2.0/gecode/set/int/match.icc".freeze, "ext/gecode-2.2.0/gecode/set/int/minmax.icc".freeze, "ext/gecode-2.2.0/gecode/set/int/weights.icc".freeze, "ext/gecode-2.2.0/gecode/set/limits.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors".freeze, "ext/gecode-2.2.0/gecode/set/projectors-compiler.hh".freeze, "ext/gecode-2.2.0/gecode/set/projectors.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors.hh".freeze, "ext/gecode-2.2.0/gecode/set/projectors/compiler.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/formula.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/formula.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/projector-set.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/projector-set.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/projector.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/projector.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator.hh".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator/card.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator/nary.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/propagator/re-nary.icc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/set-expr.cc".freeze, "ext/gecode-2.2.0/gecode/set/projectors/set-expr.icc".freeze, "ext/gecode-2.2.0/gecode/set/propagator.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel".freeze, "ext/gecode-2.2.0/gecode/set/rel-op".freeze, "ext/gecode-2.2.0/gecode/set/rel-op-const.cc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op.cc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op.hh".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/common.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/inter.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/partition.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/post.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/subofunion.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/superofinter.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel-op/union.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel.cc".freeze, "ext/gecode-2.2.0/gecode/set/rel.hh".freeze, "ext/gecode-2.2.0/gecode/set/rel/common.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/eq.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/nosubset.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/nq.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/re-eq.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/re-subset.icc".freeze, "ext/gecode-2.2.0/gecode/set/rel/subset.icc".freeze, "ext/gecode-2.2.0/gecode/set/sequence".freeze, "ext/gecode-2.2.0/gecode/set/sequence.cc".freeze, "ext/gecode-2.2.0/gecode/set/sequence.hh".freeze, "ext/gecode-2.2.0/gecode/set/sequence/common.icc".freeze, "ext/gecode-2.2.0/gecode/set/sequence/seq-u.cc".freeze, "ext/gecode-2.2.0/gecode/set/sequence/seq-u.icc".freeze, "ext/gecode-2.2.0/gecode/set/sequence/seq.cc".freeze, "ext/gecode-2.2.0/gecode/set/sequence/seq.icc".freeze, "ext/gecode-2.2.0/gecode/set/var".freeze, "ext/gecode-2.2.0/gecode/set/var-imp".freeze, "ext/gecode-2.2.0/gecode/set/var-imp.icc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/delta.icc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/integerset.cc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/integerset.icc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/iter.icc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/set.cc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/set.icc".freeze, "ext/gecode-2.2.0/gecode/set/var-imp/set.vis".freeze, "ext/gecode-2.2.0/gecode/set/var/set.cc".freeze, "ext/gecode-2.2.0/gecode/set/var/set.icc".freeze, "ext/gecode-2.2.0/gecode/set/view".freeze, "ext/gecode-2.2.0/gecode/set/view.icc".freeze, "ext/gecode-2.2.0/gecode/set/view/complement.icc".freeze, "ext/gecode-2.2.0/gecode/set/view/const.icc".freeze, "ext/gecode-2.2.0/gecode/set/view/offset.icc".freeze, "ext/gecode-2.2.0/gecode/set/view/print.cc".freeze, "ext/gecode-2.2.0/gecode/set/view/set.icc".freeze, "ext/gecode-2.2.0/gecode/set/view/singleton.icc".freeze, "ext/gecode-2.2.0/gecode/support".freeze, "ext/gecode-2.2.0/gecode/support.hh".freeze, "ext/gecode-2.2.0/gecode/support/block-allocator.icc".freeze, "ext/gecode-2.2.0/gecode/support/buddy".freeze, "ext/gecode-2.2.0/gecode/support/buddy/AUTHORS".freeze, "ext/gecode-2.2.0/gecode/support/buddy/ChangeLog".freeze, "ext/gecode-2.2.0/gecode/support/buddy/NEWS".freeze, "ext/gecode-2.2.0/gecode/support/buddy/README".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bdd.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bddio.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bddop.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bddtree.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bvec.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/bvec.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/cache.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/cache.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/config.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/cppext.cc".freeze, "ext/gecode-2.2.0/gecode/support/buddy/fdd.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/fdd.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/imatrix.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/imatrix.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/kernel.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/kernel.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/pairs.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/prime.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/prime.h".freeze, "ext/gecode-2.2.0/gecode/support/buddy/reorder.c".freeze, "ext/gecode-2.2.0/gecode/support/buddy/tree.c".freeze, "ext/gecode-2.2.0/gecode/support/cast.icc".freeze, "ext/gecode-2.2.0/gecode/support/config.icc.in".freeze, "ext/gecode-2.2.0/gecode/support/dynamic-array.icc".freeze, "ext/gecode-2.2.0/gecode/support/dynamic-stack.icc".freeze, "ext/gecode-2.2.0/gecode/support/exception.cc".freeze, "ext/gecode-2.2.0/gecode/support/exception.icc".freeze, "ext/gecode-2.2.0/gecode/support/macros.icc".freeze, "ext/gecode-2.2.0/gecode/support/map.icc".freeze, "ext/gecode-2.2.0/gecode/support/marked-pointer.icc".freeze, "ext/gecode-2.2.0/gecode/support/memory.icc".freeze, "ext/gecode-2.2.0/gecode/support/random.icc".freeze, "ext/gecode-2.2.0/gecode/support/sentinel-stack.icc".freeze, "ext/gecode-2.2.0/gecode/support/sort.icc".freeze, "ext/gecode-2.2.0/gecode/support/static-pqueue.icc".freeze, "ext/gecode-2.2.0/gecode/support/static-stack.icc".freeze, "ext/gecode-2.2.0/gecode/support/symbol.cc".freeze, "ext/gecode-2.2.0/gecode/support/symbol.icc".freeze, "ext/gecode-2.2.0/install-sh".freeze, "ext/gecode-2.2.0/misc".freeze, "ext/gecode-2.2.0/misc/AppleHelpbookInfo.plist".freeze, "ext/gecode-2.2.0/misc/allexamples.perl".freeze, "ext/gecode-2.2.0/misc/debian".freeze, "ext/gecode-2.2.0/misc/debian/Makefile.am".freeze, "ext/gecode-2.2.0/misc/debian/changelog".freeze, "ext/gecode-2.2.0/misc/debian/control".freeze, "ext/gecode-2.2.0/misc/debian/copyright".freeze, "ext/gecode-2.2.0/misc/debian/gecode.info".freeze, "ext/gecode-2.2.0/misc/debian/gecode.install".freeze, "ext/gecode-2.2.0/misc/debian/gecode.spec".freeze, "ext/gecode-2.2.0/misc/debian/rules".freeze, "ext/gecode-2.2.0/misc/doxygen".freeze, "ext/gecode-2.2.0/misc/doxygen/back.png".freeze, "ext/gecode-2.2.0/misc/doxygen/footer.html".freeze, "ext/gecode-2.2.0/misc/doxygen/gecode-logo-100.png".freeze, "ext/gecode-2.2.0/misc/doxygen/header.html".freeze, "ext/gecode-2.2.0/misc/doxygen/stylesheet.css".freeze, "ext/gecode-2.2.0/misc/fixproperties.sh".freeze, "ext/gecode-2.2.0/misc/gecode-gist.pc.in".freeze, "ext/gecode-2.2.0/misc/gecode-minimodel.pc.in".freeze, "ext/gecode-2.2.0/misc/gecode-search.pc.in".freeze, "ext/gecode-2.2.0/misc/gecode-serialization.pc.in".freeze, "ext/gecode-2.2.0/misc/gecode.pc.in".freeze, "ext/gecode-2.2.0/misc/genchangelog.perl".freeze, "ext/gecode-2.2.0/misc/genlcovmakefile.perl".freeze, "ext/gecode-2.2.0/misc/genlicense.perl".freeze, "ext/gecode-2.2.0/misc/genregistry.perl".freeze, "ext/gecode-2.2.0/misc/genstatistics.perl".freeze, "ext/gecode-2.2.0/misc/gentxtchangelog.perl".freeze, "ext/gecode-2.2.0/misc/genvariables.perl".freeze, "ext/gecode-2.2.0/misc/getrevision.perl".freeze, "ext/gecode-2.2.0/misc/makedepend.perl".freeze, "ext/gecode-2.2.0/misc/svn-ignore.txt".freeze, "ext/gecode-2.2.0/test".freeze, "ext/gecode-2.2.0/test/assign".freeze, "ext/gecode-2.2.0/test/assign.cc".freeze, "ext/gecode-2.2.0/test/assign.hh".freeze, "ext/gecode-2.2.0/test/assign/bool.cc".freeze, "ext/gecode-2.2.0/test/assign/int.cc".freeze, "ext/gecode-2.2.0/test/branch".freeze, "ext/gecode-2.2.0/test/branch.cc".freeze, "ext/gecode-2.2.0/test/branch.hh".freeze, "ext/gecode-2.2.0/test/branch/bool.cc".freeze, "ext/gecode-2.2.0/test/branch/cpltset.cc".freeze, "ext/gecode-2.2.0/test/branch/int.cc".freeze, "ext/gecode-2.2.0/test/branch/set.cc".freeze, "ext/gecode-2.2.0/test/cpltset".freeze, "ext/gecode-2.2.0/test/cpltset.cc".freeze, "ext/gecode-2.2.0/test/cpltset.hh".freeze, "ext/gecode-2.2.0/test/cpltset/atmost.cc".freeze, "ext/gecode-2.2.0/test/cpltset/cardinality.cc".freeze, "ext/gecode-2.2.0/test/cpltset/dom.cc".freeze, "ext/gecode-2.2.0/test/cpltset/partition.cc".freeze, "ext/gecode-2.2.0/test/cpltset/rel.cc".freeze, "ext/gecode-2.2.0/test/cpltset/select.cc".freeze, "ext/gecode-2.2.0/test/int".freeze, "ext/gecode-2.2.0/test/int.cc".freeze, "ext/gecode-2.2.0/test/int.hh".freeze, "ext/gecode-2.2.0/test/int.icc".freeze, "ext/gecode-2.2.0/test/int/arithmetic.cc".freeze, "ext/gecode-2.2.0/test/int/basic.cc".freeze, "ext/gecode-2.2.0/test/int/bool.cc".freeze, "ext/gecode-2.2.0/test/int/channel.cc".freeze, "ext/gecode-2.2.0/test/int/circuit.cc".freeze, "ext/gecode-2.2.0/test/int/count.cc".freeze, "ext/gecode-2.2.0/test/int/distinct.cc".freeze, "ext/gecode-2.2.0/test/int/dom.cc".freeze, "ext/gecode-2.2.0/test/int/element.cc".freeze, "ext/gecode-2.2.0/test/int/extensional.cc".freeze, "ext/gecode-2.2.0/test/int/gcc.cc".freeze, "ext/gecode-2.2.0/test/int/linear.cc".freeze, "ext/gecode-2.2.0/test/int/mm-arithmetic.cc".freeze, "ext/gecode-2.2.0/test/int/mm-bool.cc".freeze, "ext/gecode-2.2.0/test/int/mm-count.cc".freeze, "ext/gecode-2.2.0/test/int/mm-lin.cc".freeze, "ext/gecode-2.2.0/test/int/mm-rel.cc".freeze, "ext/gecode-2.2.0/test/int/rel.cc".freeze, "ext/gecode-2.2.0/test/int/scheduling.cc".freeze, "ext/gecode-2.2.0/test/int/sorted.cc".freeze, "ext/gecode-2.2.0/test/int/unshare.cc".freeze, "ext/gecode-2.2.0/test/search.cc".freeze, "ext/gecode-2.2.0/test/set".freeze, "ext/gecode-2.2.0/test/set.cc".freeze, "ext/gecode-2.2.0/test/set.hh".freeze, "ext/gecode-2.2.0/test/set.icc".freeze, "ext/gecode-2.2.0/test/set/convex.cc".freeze, "ext/gecode-2.2.0/test/set/distinct.cc".freeze, "ext/gecode-2.2.0/test/set/dom.cc".freeze, "ext/gecode-2.2.0/test/set/int.cc".freeze, "ext/gecode-2.2.0/test/set/projection.cc".freeze, "ext/gecode-2.2.0/test/set/rel-op-const.cc".freeze, "ext/gecode-2.2.0/test/set/rel-op.cc".freeze, "ext/gecode-2.2.0/test/set/rel.cc".freeze, "ext/gecode-2.2.0/test/set/select.cc".freeze, "ext/gecode-2.2.0/test/set/sequence.cc".freeze, "ext/gecode-2.2.0/test/test.cc".freeze, "ext/gecode-2.2.0/test/test.hh".freeze, "ext/gecode-2.2.0/test/test.icc".freeze, "ext/gecode-2.2.0/variables.vsl".freeze, "ext/gecoder.cpp".freeze, "ext/gecoder.h".freeze, "ext/vararray.cpp".freeze, "ext/vararray.h".freeze, "lib/gecoder.rb".freeze, "lib/gecoder/bindings.rb".freeze, "lib/gecoder/bindings/bindings.rb".freeze, "lib/gecoder/interface.rb".freeze, "lib/gecoder/interface/binding_changes.rb".freeze, "lib/gecoder/interface/branch.rb".freeze, "lib/gecoder/interface/constraints.rb".freeze, "lib/gecoder/interface/constraints/bool/boolean.rb".freeze, "lib/gecoder/interface/constraints/bool/channel.rb".freeze, "lib/gecoder/interface/constraints/bool/linear.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/extensional.rb".freeze, "lib/gecoder/interface/constraints/bool_enum/relation.rb".freeze, "lib/gecoder/interface/constraints/bool_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/bool_var_constraints.rb".freeze, "lib/gecoder/interface/constraints/extensional_regexp.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum/element.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum/operation.rb".freeze, "lib/gecoder/interface/constraints/fixnum_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/int/arithmetic.rb".freeze, "lib/gecoder/interface/constraints/int/channel.rb".freeze, "lib/gecoder/interface/constraints/int/domain.rb".freeze, "lib/gecoder/interface/constraints/int/linear.rb".freeze, "lib/gecoder/interface/constraints/int/relation.rb".freeze, "lib/gecoder/interface/constraints/int_enum/arithmetic.rb".freeze, "lib/gecoder/interface/constraints/int_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/int_enum/count.rb".freeze, "lib/gecoder/interface/constraints/int_enum/distinct.rb".freeze, "lib/gecoder/interface/constraints/int_enum/element.rb".freeze, "lib/gecoder/interface/constraints/int_enum/equality.rb".freeze, "lib/gecoder/interface/constraints/int_enum/extensional.rb".freeze, "lib/gecoder/interface/constraints/int_enum/sort.rb".freeze, "lib/gecoder/interface/constraints/int_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/int_var_constraints.rb".freeze, "lib/gecoder/interface/constraints/reifiable_constraints.rb".freeze, "lib/gecoder/interface/constraints/selected_set/select.rb".freeze, "lib/gecoder/interface/constraints/selected_set_constraints.rb".freeze, "lib/gecoder/interface/constraints/set/cardinality.rb".freeze, "lib/gecoder/interface/constraints/set/channel.rb".freeze, "lib/gecoder/interface/constraints/set/connection.rb".freeze, "lib/gecoder/interface/constraints/set/domain.rb".freeze, "lib/gecoder/interface/constraints/set/include.rb".freeze, "lib/gecoder/interface/constraints/set/operation.rb".freeze, "lib/gecoder/interface/constraints/set/relation.rb".freeze, "lib/gecoder/interface/constraints/set_elements/relation.rb".freeze, "lib/gecoder/interface/constraints/set_elements_constraints.rb".freeze, "lib/gecoder/interface/constraints/set_enum/channel.rb".freeze, "lib/gecoder/interface/constraints/set_enum/distinct.rb".freeze, "lib/gecoder/interface/constraints/set_enum/element.rb".freeze, "lib/gecoder/interface/constraints/set_enum/operation.rb".freeze, "lib/gecoder/interface/constraints/set_enum_constraints.rb".freeze, "lib/gecoder/interface/constraints/set_var_constraints.rb".freeze, "lib/gecoder/interface/convenience.rb".freeze, "lib/gecoder/interface/enum_matrix.rb".freeze, "lib/gecoder/interface/enum_wrapper.rb".freeze, "lib/gecoder/interface/mixin.rb".freeze, "lib/gecoder/interface/search.rb".freeze, "lib/gecoder/interface/variables.rb".freeze, "lib/gecoder/version.rb".freeze, "specs/bool_var.rb".freeze, "specs/branch.rb".freeze, "specs/constraints".freeze, "specs/constraints/bool".freeze, "specs/constraints/bool/boolean.rb".freeze, "specs/constraints/bool/boolean_properties.rb".freeze, "specs/constraints/bool/linear.rb".freeze, "specs/constraints/bool_enum".freeze, "specs/constraints/bool_enum/bool_enum_relation.rb".freeze, "specs/constraints/bool_enum/channel.rb".freeze, "specs/constraints/bool_enum/extensional.rb".freeze, "specs/constraints/constraint_helper.rb".freeze, "specs/constraints/constraint_receivers.rb".freeze, "specs/constraints/constraints.rb".freeze, "specs/constraints/fixnum_enum".freeze, "specs/constraints/fixnum_enum/element.rb".freeze, "specs/constraints/fixnum_enum/operation.rb".freeze, "specs/constraints/int".freeze, "specs/constraints/int/arithmetic.rb".freeze, "specs/constraints/int/channel.rb".freeze, "specs/constraints/int/domain.rb".freeze, "specs/constraints/int/linear.rb".freeze, "specs/constraints/int/linear_properties.rb".freeze, "specs/constraints/int/relation.rb".freeze, "specs/constraints/int_enum".freeze, "specs/constraints/int_enum/arithmetic.rb".freeze, "specs/constraints/int_enum/channel.rb".freeze, "specs/constraints/int_enum/count.rb".freeze, "specs/constraints/int_enum/distinct.rb".freeze, "specs/constraints/int_enum/element.rb".freeze, "specs/constraints/int_enum/equality.rb".freeze, "specs/constraints/int_enum/extensional.rb".freeze, "specs/constraints/int_enum/sort.rb".freeze, "specs/constraints/operands.rb".freeze, "specs/constraints/property_helper.rb".freeze, "specs/constraints/reification_sugar.rb".freeze, "specs/constraints/selected_set".freeze, "specs/constraints/selected_set/select.rb".freeze, "specs/constraints/selected_set/select_properties.rb".freeze, "specs/constraints/set".freeze, "specs/constraints/set/cardinality.rb".freeze, "specs/constraints/set/cardinality_properties.rb".freeze, "specs/constraints/set/channel.rb".freeze, "specs/constraints/set/connection.rb".freeze, "specs/constraints/set/domain.rb".freeze, "specs/constraints/set/include.rb".freeze, "specs/constraints/set/operation.rb".freeze, "specs/constraints/set/relation.rb".freeze, "specs/constraints/set_elements".freeze, "specs/constraints/set_elements/relation.rb".freeze, "specs/constraints/set_enum".freeze, "specs/constraints/set_enum/channel.rb".freeze, "specs/constraints/set_enum/distinct.rb".freeze, "specs/constraints/set_enum/element.rb".freeze, "specs/constraints/set_enum/operation.rb".freeze, "specs/distribution.rb".freeze, "specs/enum_matrix.rb".freeze, "specs/enum_wrapper.rb".freeze, "specs/examples.rb".freeze, "specs/int_var.rb".freeze, "specs/logging.rb".freeze, "specs/mixin.rb".freeze, "specs/model.rb".freeze, "specs/model_sugar.rb".freeze, "specs/search.rb".freeze, "specs/selected_set.rb".freeze, "specs/set_elements.rb".freeze, "specs/set_var.rb".freeze, "specs/spec_helper.rb".freeze, "tasks/all_tasks.rb".freeze, "tasks/dependencies.txt".freeze, "tasks/distribution.rake".freeze, "tasks/rcov.rake".freeze, "tasks/specs.rake".freeze, "tasks/svn.rake".freeze, "tasks/website.rake".freeze, "vendor/rust/README".freeze, "vendor/rust/bin".freeze, "vendor/rust/bin/cxxgenerator.rb".freeze, "vendor/rust/include".freeze, "vendor/rust/include/rust_checks.hh".freeze, "vendor/rust/include/rust_conversions.hh".freeze, "vendor/rust/rust".freeze, "vendor/rust/rust.rb".freeze, "vendor/rust/rust/attribute.rb".freeze, "vendor/rust/rust/bindings.rb".freeze, "vendor/rust/rust/class.rb".freeze, "vendor/rust/rust/constants.rb".freeze, "vendor/rust/rust/container.rb".freeze, "vendor/rust/rust/cppifaceparser.rb".freeze, "vendor/rust/rust/cwrapper.rb".freeze, "vendor/rust/rust/cxxclass.rb".freeze, "vendor/rust/rust/element.rb".freeze, "vendor/rust/rust/enum.rb".freeze, "vendor/rust/rust/function.rb".freeze, "vendor/rust/rust/namespace.rb".freeze, "vendor/rust/rust/templates".freeze, "vendor/rust/rust/templates/AttributeDefinition.rusttpl".freeze, "vendor/rust/rust/templates/AttributeInitBinding.rusttpl".freeze, "vendor/rust/rust/templates/BindingsHeader.rusttpl".freeze, "vendor/rust/rust/templates/BindingsUnit.rusttpl".freeze, "vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl".freeze, "vendor/rust/rust/templates/ClassDeclarations.rusttpl".freeze, "vendor/rust/rust/templates/ClassInitialize.rusttpl".freeze, "vendor/rust/rust/templates/ConstructorStub.rusttpl".freeze, "vendor/rust/rust/templates/CxxClassDefinitions.rusttpl".freeze, "vendor/rust/rust/templates/CxxMethodStub.rusttpl".freeze, "vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl".freeze, "vendor/rust/rust/templates/EnumDeclarations.rusttpl".freeze, "vendor/rust/rust/templates/EnumDefinitions.rusttpl".freeze, "vendor/rust/rust/templates/FunctionDefinition.rusttpl".freeze, "vendor/rust/rust/templates/FunctionInitAlias.rusttpl".freeze, "vendor/rust/rust/templates/FunctionInitBinding.rusttpl".freeze, "vendor/rust/rust/templates/MethodInitBinding.rusttpl".freeze, "vendor/rust/rust/templates/ModuleDeclarations.rusttpl".freeze, "vendor/rust/rust/templates/ModuleDefinitions.rusttpl".freeze, "vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl".freeze, "vendor/rust/rust/templates/VariableFunctionCall.rusttpl".freeze, "vendor/rust/rust/type.rb".freeze, "vendor/rust/test".freeze, "vendor/rust/test/Makefile".freeze, "vendor/rust/test/constants.rb".freeze, "vendor/rust/test/cppclass.cc".freeze, "vendor/rust/test/cppclass.hh".freeze, "vendor/rust/test/cppclass.rb".freeze, "vendor/rust/test/cwrapper.c".freeze, "vendor/rust/test/cwrapper.h".freeze, "vendor/rust/test/cwrapper.rb".freeze, "vendor/rust/test/dummyclass.hh".freeze, "vendor/rust/test/lib".freeze, "vendor/rust/test/lib/extension-test.rb".freeze, "vendor/rust/test/operators.cc".freeze, "vendor/rust/test/operators.hh".freeze, "vendor/rust/test/operators.rb".freeze, "vendor/rust/test/test-constants.rb".freeze, "vendor/rust/test/test-cppclass.rb".freeze, "vendor/rust/test/test-cwrapper.rb".freeze, "vendor/rust/test/test-operators.rb".freeze] s.homepage = "http://gecoder.rubyforge.org".freeze s.rdoc_options = ["--line-numbers".freeze, "--inline-source".freeze, "--accessor".freeze, "delegate".freeze, "--main".freeze, "README".freeze] s.rubygems_version = "3.5.10".freeze s.summary = "Ruby interface to Gecode, an environment for constraint programming.".freeze s.test_files = ["specs/logging.rb".freeze, "specs/branch.rb".freeze, "specs/enum_matrix.rb".freeze, "specs/model_sugar.rb".freeze, "specs/search.rb".freeze, "specs/bool_var.rb".freeze, "specs/set_elements.rb".freeze, "specs/distribution.rb".freeze, "specs/spec_helper.rb".freeze, "specs/int_var.rb".freeze, "specs/mixin.rb".freeze, "specs/enum_wrapper.rb".freeze, "specs/model.rb".freeze, "specs/set_var.rb".freeze, "specs/selected_set.rb".freeze, "specs/constraints/property_helper.rb".freeze, "specs/constraints/set/channel.rb".freeze, "specs/constraints/set/cardinality_properties.rb".freeze, "specs/constraints/set/cardinality.rb".freeze, "specs/constraints/set/include.rb".freeze, "specs/constraints/set/operation.rb".freeze, "specs/constraints/set/connection.rb".freeze, "specs/constraints/set/domain.rb".freeze, "specs/constraints/set/relation.rb".freeze, "specs/constraints/set_elements/relation.rb".freeze, "specs/constraints/int/channel.rb".freeze, "specs/constraints/int/arithmetic.rb".freeze, "specs/constraints/int/linear_properties.rb".freeze, "specs/constraints/int/linear.rb".freeze, "specs/constraints/int/domain.rb".freeze, "specs/constraints/int/relation.rb".freeze, "specs/constraints/constraints.rb".freeze, "specs/constraints/bool/boolean_properties.rb".freeze, "specs/constraints/bool/boolean.rb".freeze, "specs/constraints/bool/linear.rb".freeze, "specs/constraints/int_enum/channel.rb".freeze, "specs/constraints/int_enum/distinct.rb".freeze, "specs/constraints/int_enum/element.rb".freeze, "specs/constraints/int_enum/arithmetic.rb".freeze, "specs/constraints/int_enum/count.rb".freeze, "specs/constraints/int_enum/extensional.rb".freeze, "specs/constraints/int_enum/equality.rb".freeze, "specs/constraints/int_enum/sort.rb".freeze, "specs/constraints/constraint_helper.rb".freeze, "specs/constraints/reification_sugar.rb".freeze, "specs/constraints/selected_set/select.rb".freeze, "specs/constraints/selected_set/select_properties.rb".freeze, "specs/constraints/constraint_receivers.rb".freeze, "specs/constraints/fixnum_enum/element.rb".freeze, "specs/constraints/fixnum_enum/operation.rb".freeze, "specs/constraints/bool_enum/channel.rb".freeze, "specs/constraints/bool_enum/bool_enum_relation.rb".freeze, "specs/constraints/bool_enum/extensional.rb".freeze, "specs/constraints/operands.rb".freeze, "specs/constraints/set_enum/channel.rb".freeze, "specs/constraints/set_enum/distinct.rb".freeze, "specs/constraints/set_enum/element.rb".freeze, "specs/constraints/set_enum/operation.rb".freeze, "specs/examples.rb".freeze] end