gecoder-with-gecode-0.9.0-x86-mswin32-60

https://rubygems.org

gecoder-with-gecode

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 47139

number: 0.9.0

platform: x86-mswin32-60

spec_sha256: e1a3230b52ebe7558117e959cce7b84f05a20c59e57dd998741ce01dd2826e5d

sha256: bb2a7a90c34b2eb067987f13d25ee03ee9e451fca667dc4ded342c6d7f47e82a

created_at: 2024-05-13 08:14:23 UTC

updated_at: 2024-06-03 06:50:34 UTC

position: 5

version_data_entries_count: 202

uploaded_at: 2009-07-25 18:16:40 UTC

indexed: true

has_extensions:

extensions:

Gem size: 15.1 MB

Version Data Entries

Total: 202

Unpacked size: 53.3 MB

Full NameModeUIDGIDMtimeLinknameSizeSHA
lib/gecoder/interface/model.rb6640017.1 KBe57e26919776a3d03cf697403a52858e02cddbd2e43fcb395750eaf259808761
lib/gecoder/interface/constraints/set_var_constraints.rb664007.98 KB6666f6e6aa153299371e3f043d9cabffbb649c417578357832792c4d39146946
lib/gecoder/interface/constraints/extensional_regexp.rb664003.16 KB4f189d96813ab6eda7b91c3a50e2dbaffe1ee85724fe8d2b49fe7ca41cf43bf2
lib/gecoder/interface/constraints/int_enum_constraints.rb664003.36 KBb024f876d6934767914d52214eed155ba0282375f18f6114a5599a32ba13213b
lib/gecoder/interface/constraints/set/channel.rb664001.79 KBf6c9730aff258392119a858b9e353b5124c15ad667e75501bc335d838c8cfa0c
lib/gecoder/interface/constraints/set/cardinality.rb664002.07 KB253346eb7a106567225377b5bf4e91df8b62138713092ce474c106c6bb97238b
lib/gecoder/interface/constraints/set/include.rb664001.17 KBa88761c6368ca99bb7cffb3cdf365c4084769e875badf9cfb1fd5bc61181e69e
lib/gecoder/interface/constraints/set/operation.rb664003.72 KB7b0127c5ef2c443550631a336d50e5796a36d81046e87c928fdfee28ad8aa8b2
lib/gecoder/interface/constraints/set/connection.rb664004.15 KB3b0a270943f1db0c8d3db8fbd219c43619d3f0e0bf9194703c3ce857c1047b5a
lib/gecoder/interface/constraints/set/domain.rb664005.25 KBb078e8145da8d36e022a828f3bfcbb07a71495841a24b4a8b02b051467e4a69f
lib/gecoder/interface/constraints/set/relation.rb664005 KBaf22e7a14871f826a696a2e3f92d4a4f0e312b754c8042284e676a00eeae48a9
lib/gecoder/interface/constraints/set_elements/relation.rb664003.65 KB6df7bba8d7392ed74a4f62dd891a89b269909168ad20438dbdc48c14e7dae5f5
lib/gecoder/interface/constraints/fixnum_enum_constraints.rb664001.38 KBfa2a87a4683ad6cf078656347ddcc9116e56c9f8c6cbebb7554e57f7446b341c
lib/gecoder/interface/constraints/int/channel.rb664001.71 KBd5a0a9c3b9a98f83130f124f6ca248384d17fc393a088db2759bf5a4894b8e30
lib/gecoder/interface/constraints/int/arithmetic.rb664004.27 KBbcb0145a54ce863c6e6b200b54d919c71433f2c9427e64184a87a56076e6d9fb
lib/gecoder/interface/constraints/int/linear.rb664004.28 KBecf04977982e825f36efb0387e7b52bf7915ea5451abe0d7e2dd545f5be6d158
lib/gecoder/interface/constraints/int/domain.rb664002.98 KBa5a5840cf2c656a187b7272f35e5dc8c6e2b5bbbb8bc83aab1443e6068100336
lib/gecoder/interface/constraints/int/relation.rb664004.95 KB8e5944bf2d15496cb4316440bc010faf6771e07ccc1f22bbb45aefcf7845efd4
lib/gecoder/interface/constraints/set_enum_constraints.rb664002.89 KB4198d768292d92c136582addc8ce752067dde9bf4edee2753c01a3016971254d
lib/gecoder/interface/constraints/bool/channel.rb66400211 Bytes5cc5e835bff1e331b9dacec7340f2b9f32c2b7348789bf49d8d25ac91ac31f0e
lib/gecoder/interface/constraints/bool/boolean.rb664007.74 KB49ccb4a523940f776382dfb25059aa5351af2c493cc0c356d46f39fb4709f398
lib/gecoder/interface/constraints/bool/linear.rb664005.92 KBf8e41bf128fe869a9c01daa1c3907762b687e0d418d16e8a8c4d5fe4c6dd7911
lib/gecoder/interface/constraints/int_enum/channel.rb664003.12 KB90316a58fa30d7e64c995564e8fe5f3fcbe1b54b7a1084e2ce47282ffb4961b4
lib/gecoder/interface/constraints/int_enum/distinct.rb664002.27 KBec23204cfaab52631088b7437d69e96342d24f455ecf38acc2fe44261fdc8fb2
lib/gecoder/interface/constraints/int_enum/element.rb664002.21 KBfcfbc1c44e45258b9bebf7df2bb556f218d5f3a641968005f444a49deef850e9
lib/gecoder/interface/constraints/int_enum/arithmetic.rb664001.75 KB3a9cc0b70de06515ba45283abcb8e925970eee1b6cce8a085081d3281efe9015
lib/gecoder/interface/constraints/int_enum/count.rb664002.16 KB61d7610bbba0fb7cfad02ecad70ac35dde442824bc2658095430784fa4dc1924
lib/gecoder/interface/constraints/int_enum/extensional.rb664006.67 KBb88062f8b4588bd8c2a3205184a8ee92b8454467539de8a0a7d237baf0bfe8b8
lib/gecoder/interface/constraints/int_enum/equality.rb664001.22 KBc454f487922f2e8a8d519c5d2b32be9be98348122e67a69373b053134fe5b581
lib/gecoder/interface/constraints/int_enum/sort.rb664004.96 KB3076c260cfd27052de1e4425d64476ecc5595ca43963479ce6a2e80d5ddc0496
lib/gecoder/interface/constraints/set_elements_constraints.rb664002.8 KB8030b7d5487847e07a0a8aa0d3889599e9f7df5cd1767f1928cc5ea6eb1ba416
lib/gecoder/interface/constraints/fixnum_enum/operation.rb664001.87 KBfdcdf6f1b0eadd1259e2390e0bd49a3e28a5251d1ffe778a21aeecae3315b72c
lib/gecoder/interface/constraints/bool_enum/channel.rb664002.75 KB687280a510665c5aeff911701733d3f4564b5e7fae8241844d64756ccae0886d
lib/gecoder/interface/constraints/bool_enum/extensional.rb664003.65 KB8e65fed2d58f96da84244b960e78322f2b0cc8ae538d79275fe16ad25f9a7abb
lib/gecoder/interface/constraints/bool_enum/relation.rb664001.72 KB1d1999348e0ee864ba4057a730f9351a3db393ec286412954dc160f90569f6dc
lib/gecoder/interface/constraints/int_var_constraints.rb664007.58 KB7db5d28b179e3d0c956af09e8e73be88ce51b8e94addd0aee1c7d73627d90be6
lib/gecoder/interface/constraints/reifiable_constraints.rb664002.47 KBe6a484c86670a2709d7dc739f973539a84278e99624733e5bd8a76bb2bebd5d7
lib/gecoder/interface/constraints/set_enum/channel.rb664001.55 KBea869ced36445e8035d95569bccdf7b4224c70fe2110b59fccf0364325d070ce
lib/gecoder/interface/constraints/set_enum/select.rb664002.88 KBe411f91b7f39bf0569efb8052d7b3b161f3a7fef2ae3c2c540deeaa7ddf52ba9
lib/gecoder/interface/constraints/set_enum/distinct.rb664001.49 KB9c9b370b0e315875629c30fcdd537521fe586c36a7f3d3e30b355a350c1d80bb
lib/gecoder/interface/constraints/set_enum/operation.rb664001.9 KB0c7f337ce002f35100a9577cec755e91f092c8b0a259212b5471bf4460fad65c
lib/gecoder/interface/binding_changes.rb66400249 Bytesba6b5493edca7f2bb95515b7f74dee8fd66ed750ac137d84ea942ed634d07c06
lib/gecoder/version.rb66400101 Bytesaf5dfd0541f006fd8ed44b7cd68351c27e8a6fda52467eb8e6eb8c710d952ee7
lib/gecoder/interface.rb66400347 Bytesefd7873401a9b074c06858a2e294c518421d878945aa33097c932ec71c1718a9
lib/gecoder/bindings/bindings.rb6640073.9 KBfdacb0e2568fbc3245ad1534bf396d467dd05410862141f005007be90c501b77
example/queens.rb664001.53 KB375169e35765fd626e4502d838278860ea70994f000d9984030d8d278c24e88b
example/equation_system.rb66400296 Bytes12da6012f367fb9d3f0fd452143527c0808e88659fe072e1e49ec5f56239bf32
example/send_most_money.rb664001.59 KBc71ac71be7de2bcf37464d14dd8ceec77570e7dedd9287acd16c9670786f101a
example/magic_sequence.rb664001.4 KB808698bf13ebc71a669e4942d3474d64fd999a1565d0adecfc21c468274a3b91
example/send_more_money.rb664001.22 KB8d175b2733a972bee2b4a8ecdc33109aab67031ed7e9ab0f0ea2999f1837da9a
example/sudoku-set.rb664003.55 KBe1b5e9230a2943c0f2bb1709eaed50cf70850232ecc6d0fb9fc18f8fa6315162
example/sudoku.rb664001.7 KB3cc9f3d61ec7a88496569becefefa5fb4892a1f1844f976b7b0f30ef60833918
example/square_tiling.rb664003.49 KBe2634607c7a7bea6fc54f058eb1c706e8cef0877a1921cbb5adde7a0dc5e7ea9
example/example_helper.rb6640051 Bytes024c10e7b914d86f4010b7d474e077fe274efcf72f41b6c76b34071e8eb498a0
example/money.rb664001.1 KBe6dd7d726c7d88e0b3091876a52ca22288050b9d6460ac9a92d1a7ca191a3234
vendor/rust/bin/cxxgenerator.rb664002.32 KB524ac51741af2520e30001e0e833e596fd9cd2e8304ca4fa43113918b5a4e5d4
vendor/rust/README664001.34 KB366e0ff0ec659a8b7bf2f1a43b2cbf030754a43bf14991974e360c7f671e5bae
vendor/rust/rust/cwrapper.rb664002.29 KBd8299fd3dcf8ae8191e1c457575e649b7a2b388e5a957cbd3628d379c4e202c6
vendor/rust/rust/bindings.rb664006.08 KBac30fcd41938ba3a49ccf72dfd40db4e5cd6f6644f9a9b2acabe4ef9a6f82d58
vendor/rust/rust/element.rb664002.72 KB95b24f817b86ded2a3593cba390813683df1884c3f6c2aa07ccbf52d7e88c135
vendor/rust/rust/cxxclass.rb664003.11 KB062342ff1fde2b130636807109e689cea6a91dc429bad1eb7a290fbce4ef4a8f
vendor/rust/rust/type.rb664002.43 KB51d5d948e39c959393096bce407669f237dab492e13fe2e9eaf007b7c106bd63
vendor/rust/rust/class.rb6640010.7 KB3a18c6fe93d3dcd0d8bf8570940af88235508755eccf5b9abc7cb236ad0c887a
vendor/rust/rust/container.rb664002.96 KB1e1b2753a833a27334893939039e52bde8a2160b722c87b762c36508a461f85a
vendor/rust/rust/templates/ModuleDeclarations.rusttpl6640048 Bytesf8b1e497f3494781f4d62ceeaace3d626dfe59b2a2f4efddc72641a758fbe506
vendor/rust/rust/templates/EnumDeclarations.rusttpl6640074 Bytesd97788b11448a984bc69d02644ab3566b732d8aa93a20fefdc572d4cbbed32cc
vendor/rust/rust/templates/BindingsUnit.rusttpl664001.07 KB6e4b857f13d541dd8c96d8eb97e21ca5097265977f62c53e27821315c2c69523
vendor/rust/rust/templates/ConstructorStub.rusttpl66400535 Bytes0fba8ed538d871b3d31675c7750f33f553a3b5cdc9f2b02f9fc797e2f99234db
vendor/rust/rust/templates/EnumDefinitions.rusttpl66400642 Bytes1afbf36ac124c91bbb3258489e7488e3590bcc413068cb3832169c14831a6ed3
vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl66400648 Bytes620b90a6f5c260713d0b79acf33d4c85cecaf1c76efa9cb84f4d8d38aa14fa0b
vendor/rust/rust/templates/CxxMethodStub.rusttpl66400333 Bytes7eea67696110b70e45a1b3ea70c1e9ab467395e06abbfbbe64707f194d49f702
vendor/rust/rust/templates/MethodInitBinding.rusttpl66400324 Bytes32a37378cecbb3b77ce132cbe753b88e6758601084ab85c3a8168dbbb189a6d2
vendor/rust/rust/templates/ModuleDefinitions.rusttpl6640041 Bytes897e68ff7165bf2507d0cd5926094fa87374d84e659d3e25da7a4381c588e4e4
vendor/rust/rust/templates/VariableFunctionCall.rusttpl66400238 Bytes6fcec89e380ae6185f6d3b107a04da008e7f21891efa4bc3751e528fdc0a8b6f
vendor/rust/rust/templates/AttributeInitBinding.rusttpl66400446 Bytes9e1c76c7d3200b2b823c87a035a01343ce0796d8a5768a69261db969d8d50501
vendor/rust/rust/templates/BindingsHeader.rusttpl66400521 Bytesdbc28faf0938daf4a8a38d8f3c6dc2322815baae3c2cae6dc7c90aeb7d1aed0b
vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl66400249 Bytes45ba044cb6f40f414958e2765e46ec1d80cadd33622cad92ea2ff883f1cd3079
vendor/rust/rust/templates/FunctionDefinition.rusttpl66400183 Bytes90552bfc4342bf5a2078b8698c3aa21a57bae703d81b2ff1c0eb58de668e740e
vendor/rust/rust/templates/AttributeDefinition.rusttpl66400514 Bytesddd15708153b6214e9860a0279ad38fd521de96d15c7495506280844f5ebce67
vendor/rust/rust/templates/CxxClassDefinitions.rusttpl664002.63 KBda21b8bd46d0eea7d2ad89f2fd4bada0f6c4722dd98a4691bb54fdde71904c95
vendor/rust/rust/cppifaceparser.rb664002.64 KBae61e7f53f39a7662105a6afa92eddbffba6cacd544571eb20d881ab01403404
vendor/rust/rust/constants.rb664001.76 KB7242614fff758a51b5d63f08e16c327f5b5da731d758d37eb10682443977bd8f
vendor/rust/rust/attribute.rb664001.91 KBe6789f6f0e06f4a04545b89dbbaf304f440c97747e317a87ae66eee896cfb38b
vendor/rust/rust/namespace.rb664002.11 KB4ebdb09167c0b6dc970a6d6fe7b9ff556d724848e34f170d3ef671e04bfe300f
vendor/rust/rust/enum.rb664002.48 KBd9e968cb776fe5be616edef17806c5972cf78ad2c43b02e445d70378f0a468ac
vendor/rust/rust/function.rb6640013 KBbadae298049aaecc4d932d130faab4cf47ab73bcf46542c8dfc1df9a590b544b
vendor/rust/test/cppclass.rb664002.06 KB3b240acfa9265c03a97afa45fd305571941e8c2d3237a206ceef0be6d0a64412
vendor/rust/test/cwrapper.h664001.65 KBe62218e1cb51e7f5027af2b71f4412ff61d5e608eb7879a8b62ef4eed93635ac
vendor/rust/test/test-constants.rb664001.55 KBe0b0aa19cc17305c94f78935966fad2b7ebd00055813662a80344449bc87d8c3
vendor/rust/test/cwrapper.rb664002.22 KBf3ccf036ae7fe39da41468453eea3eeb5397cbb3863c0e732613be21a58d934c
vendor/rust/test/operators.hh664001.3 KBc5e9d0a198a41e726cfdb8953e91205df25ef7cad589a5eb752cac91ec7daf9d
vendor/rust/test/cppclass.cc664001.44 KBf349f4a46efe8751a5dcaa2fc9193a6a2a4fe8568524c21798789dcd97dc5ba8
vendor/rust/test/Makefile6640070 Bytes166e2db32a538994a4a31696d75968ebb80b4775eb1434fa742d0aef087f25d2
vendor/rust/test/test-cppclass.rb664002.65 KB553e3ca3282b76032944f7782713c126d829d48c6acbda98aa78a03ec3680460
vendor/rust/test/operators.rb664001.53 KB20dffc60ffebf4eae9f136d2c85287a02567d5bcaa38b2f2a52cc7cc09beb142
vendor/rust/test/cppclass.hh664001.71 KBf11c68bc8c2066a7ed1cd1c4b119d254c0572cc6c6d301fad49eb5f0c817a808
vendor/rust/test/dummyclass.hh664001.35 KBedd9d84fcff20f987fc494003785debca6309ffe30a30bee4a42fd35c2f30207
vendor/rust/test/constants.rb664001.46 KBa991a2592160bc4375042996032a10b96c8a26b572f03502522bbf6889caf46e
vendor/rust/test/test-cwrapper.rb664002.67 KBcd98821dba9723048f6e7742c0df2a34054e0a92931507ac22c8e0737ac3b540
vendor/rust/test/cwrapper.c664002.29 KBbd534ef300556c5f0359609dd009bd0973c8c128304872705c1c57b8ea0319ac
vendor/rust/test/lib/extension-test.rb664003.45 KB33ac50c899f92da81ba2104c8380bf0c73da9e5ef2b1d4430e831a62bef16dcd
vendor/rust/test/test-operators.rb664001.42 KB8ae8e8c58bea7b829ea50816a7a760ec533c8fd0075471b03458d81afc9032b7
vendor/rust/include/rust_checks.hh664002.55 KB2a121178b1a44151cd91a209e5cfcd6feb94f6b0db5a4d28ff9154e973e8aec0
vendor/rust/include/rust_conversions.hh664002.88 KB8371be8895bac51105fa3af841fd17a80de8ebc77e88b0439eb1f591fc8f6e51
vendor/rust/rust.rb664002.83 KB0a9f691d51913f4f53ea0565958d8b7949e451dafa23384bf8449e5819250ba0
tasks/website.rake664001.13 KBd036cbf20cdd85bf6e3d68a2e1a7aec65ae986e9098b748ee039985423cec890
tasks/specs.rake66400519 Bytes1147258c8fa187d4a867469ebb26fbce22eb6f9438ff8faa15533c713bc27d93
tasks/svn.rake66400541 Bytesb0d30dcdcc86d8ba2f221c825bc02bb8fae9f002d18c0761470bd314fe12e0e0
tasks/rcov.rake66400515 Bytesdf7850497a1c5f788affa1d81ca686ff9d74552900811997d5846d372396a70b
tasks/all_tasks.rb6640064 Bytes5bd62cfdf66c82aed59644e6ec24eb9de069fa96d1c8f8f126a4f7bb4959a573
tasks/dependencies.txt66400457 Bytes5ddd2f21119f83d65bbfc818ccaa8e61fba115ca0aa268827bad061448d14963
tasks/distribution.rake664006.06 KB476bd0788a89e2e660732016ed15094a1fd1b9173b3f6d163f2068fbda18eb97
specs/logging.rb66400573 Bytesed834b80b4dc86a1428321cd76a0b311777f09494448e7bd7484be353b8a83d6
specs/branch.rb664006.01 KB08b1f1a967ea0fcbea521bab22e11e51faad664df253e02efb2a044103314ce7
specs/enum_matrix.rb664001.14 KBd504a7b84dff4ea263ab86215c14107d635f6e1f12a6e377c2b44e94f48ece6b
specs/model_sugar.rb66400891 Bytesd8ce5fa599255d67c3c93b9a5f10c55fac902200e4ceefd42c42fa3817ae4507
specs/search.rb6640010.1 KB435035dae1fd9482b99194e618460c56e06e871b9393e53b3aaed3e8bbeac7a4
specs/bool_var.rb664001.89 KB26d4e6f2db7f567584be32ccb95d21f4fa314338078f4a9e0d502d71056008dd
specs/set_elements.rb66400927 Bytes12567d572298f53cc666990f7300c6de5693fd47d3ff424201d8422a626ec287
specs/distribution.rb66400535 Bytes2fed58791ae43dccd623cdd06c89f76a931fef8a135a217b0c26e0b7588f2dfc
specs/spec_helper.rb664007.6 KBd72cd0949e4ba17e7ce3c5035174188df2c5dd848c9570ec7d846529c25578d5
specs/int_var.rb664003.85 KB209e736cfe1e83a8e58e87e487ea2d25ec595b1c33a064b0c351f814e8454e0d
specs/enum_wrapper.rb664004.48 KB5379eb0f67a4973615bbf6d068dc2974747825e38cbb4445a3a0a1eba4863bfe
specs/model.rb664009.84 KB46db39b4da35f859a476cb5af733df7ff5dbfaf85094fa9a56265d18e5d1257e
specs/set_var.rb664002.15 KB2a93acf4b1d3e9c69f2227ae6082ca16e7076afcf752524753cd52a1f914b6bd
specs/selected_set.rb664001.1 KB6b6a6d99855fc96a37e9552cac08c1b5bd8959e2c166c74c879dbd79514d56fc
specs/constraints/property_helper.rb6640015.5 KB1f63aaaee02211c49e73f90b0876cbb2b6c33fa17523da8fbe4e3ef55eb58ce7
specs/constraints/set/channel.rb664002.07 KB20c6b2caf62691dd1ec5de6ebe802c6858114c0556e9c71e58947fd3b79038a1
specs/constraints/set/cardinality_properties.rb664001.15 KBb4dd37aeaa837da942386c63db131c61fc383799d09f557f45fe3883d413b4fa
specs/constraints/set/cardinality.rb664001.77 KB201276bc54d0b1b304d00e8a6380f5d2244bf3059c7087f35eb915608a688713
specs/constraints/set/relation.rb664003.67 KBfb8363cf19d72c3bcfe1f3233a5525a055abf9544f5759c8cb07bba9fd54f53d
specs/constraints/set_elements/relation.rb664002.61 KB5ccb0456bf5412b46bb4f983116e541061c3bb7b63322175a0bb00b1ee8eadd2
specs/constraints/int/channel.rb664002.52 KBe82ddca4ab9a70dc9386b4e878e03be4403db025751f452066ecc1cb608dd115
specs/constraints/int/arithmetic.rb664003.6 KBee288a9a310cf3c329b59ae9796242604794d33a7a8e092dc470ef068c420e5c
specs/constraints/int/linear_properties.rb664002.21 KBa5a24698ac6da843a3f6fbdef73e42cc9ba7f8eb7e2f05f9b6438f1c26cb86a7
specs/constraints/int/linear.rb664004.23 KBb5dd9bdb252b83360c7818dbe2c5a6a6a6621933c000870bd183461629e7b811
specs/constraints/int/domain.rb664002.73 KB8825e545b8b8a46a6a1b42ddebb3cfe19218dcc1fb88b256dd525d9bfa283be7
specs/constraints/int/relation.rb664002.53 KBab8ec20dd629026e1b33f01058193f44fc1b0711701a37ef8d32dc3409a36f31
specs/constraints/constraints.rb66400751 Bytesc1a1ef845810f7109cb0026cee9f8250493d81af4c3bf4ef2bee502962d44052
specs/constraints/bool/boolean_properties.rb664001.44 KB8e9bd8b10b20246ae3f2b73c336e50c5e674eff92e2db97b54f5e48739c544f2
specs/constraints/bool/boolean.rb664007.88 KBf78c3f96b0448ca0b9a188120208bfa7be7f57c41d27acb9eb4bb9516b6e52ef
specs/constraints/bool/linear.rb664004.9 KB042e51576b839f2cf590afba5f219e88450d33f2aa73c0424a3394ad764f25e6
specs/constraints/int_enum/channel.rb664001.55 KB90b3923174c4cb40f39f846a000addfbc416ec647575922f147b7a9efc784abe
specs/constraints/int_enum/distinct.rb664002.27 KB9371cac969485c0fcc87e809adfd69630f731886f8b4363046d8b885d03d5592
specs/constraints/int_enum/element.rb664001.6 KB4e2b08d48b00cb81fc958c6347c55d87356093f033df87f1f31045204837bce2
specs/constraints/int_enum/arithmetic.rb664001.69 KB4da36882c6352a5ad19e7dc8197f7ef47369b9c4fb8be8b7f730913d1f49b91e
specs/constraints/int_enum/count.rb664001.79 KBb47cd0429f497eceab5f4cc7a8d39ba389eeaf2a440fe244b088409e8feb37f7
specs/constraints/bool_enum/channel.rb664002.7 KB3cc8c8bbaafefcd807e3435198282b1b8fc86f95b5f30c3ce95420ed11a0cfc2
specs/constraints/bool_enum/bool_enum_relation.rb664003.22 KBd49509dbeed41c2d228351d6f67a8bcca79d6361ef8a87d67b9d255d0db1330e
specs/constraints/bool_enum/extensional.rb664007.54 KB168b11bb9a1d04566f002eae7193da4f811c3b2ea3078fd303f650dadaf7048b
specs/constraints/set_enum/channel.rb664002.23 KB8a78577dd7494d63968f9039b782ecc4a5bb2d2f31aab08a8ab32ca565b8e169
specs/constraints/set_enum/select.rb664001.9 KBdc673d258c75ba359bb37a90abc5a83470441f28af334ed3b8e382b2b1a56a85
specs/constraints/set_enum/distinct.rb664001.68 KBad8ecb2fbdd4ed628bee88d4d32943966de6ba34c940965b3f687c264bea05cf
specs/constraints/set_enum/operation.rb664003.35 KB925348fffc325d211f0ec9941b732fa4121c5ff859fb40aa7aab3ec3dc502efa
specs/examples.rb66400468 Bytes5e064e62d9c642d86d3e157aa0ad54bb0e3ffd18195ca547aa90ddad0788c8ab
vendor/gecode/win32/lib/libgecodeset.dll7750020 MB5616d9ca9059669bcd1df849622c855285a42cb6c577b6fd30beb5757ee0616e
vendor/gecode/win32/lib/libgecodeint.dll7750022.7 MB41b05b14db23a233ff4d0c27ecc53ecb2ab3b612fd92ddf5542a44814c7721eb
vendor/gecode/win32/lib/libgecodesupport.dll775002.27 MB5347e346e1911ec7089f76bf3fb5288fb8ce67f0b9fd92ba9bde8d07d485ff50
vendor/gecode/win32/lib/libgecodekernel.dll775002.38 MBd8337faba767e27d5fc30a5f5024ca0e08830776402cc04ef33b2a57c2ed80b3
vendor/gecode/win32/lib/libgecodesearch.dll775002.16 MBacbe81265ea40f136852380f9d1a79c9ef004d5dbabb1820248854add9a8388c
vendor/gecode/win32/lib/libgecodeminimodel.dll775002.28 MB7c5cffb21821a883c5168cb354d25ac080391eab43ee83f40902a2d0cc012790
lib/gecode.dll77500855 KB7824d3c61f926838d6403a4b41541b41fa1ac43bdf031cc1811c02436f3566b3
README664001.64 KB72c7d581f8d20257f307b290ec3a2c114d888039437cce9f149b74ad3e98d768
LGPL-LICENSE6640023.8 KBbd56bd7a47dd73fc97e75133bba00678f316b8a8c29171a943120ea31d7af006
CHANGES664008.76 KBfdb508695fe028286a9f3fdbc488aa3d3379242a3001dc87a1ff2d95fffc0b17
COPYING66400794 Bytes2eb0548003837cdacd6b769fcda9133fcca370aad9db6f75f5a036df018b973c
Rakefile66400371 Bytes797d8e8840f3e80dd1099706c57b950007cef30cdf981ad579e7aa0ce48764a8
lib/gecoder.rb66400159 Bytes82c2975efc439706dfbf140379e7946799f6992734220376d0cdd40fe673157f
lib/gecoder/bindings.rb664002.57 KB1afeb090a44c3c1b357873d1d74196be9a8b90cb6bc764c672553bcf8d083029
lib/gecoder/interface/branch.rb664007.94 KBdf71fb7665908690f52b9b4a5a3b012688c8dc9607fa1acba4f4c9848bbd403d
lib/gecoder/interface/enum_matrix.rb664001.33 KBb2ecdc85dcfcb610c1fc6dcbda3f336cec64eb0f7d99af972f1762cc7d8a0466
lib/gecoder/interface/model_sugar.rb664002.18 KBaa5ce7cfe1261462e1e7c5b49070b0f48940748120b999a928d92f74ce8537fe
lib/gecoder/interface/search.rb664006.62 KB5b95f3efc0ee65230d3c6459112909bbb071a06fd10105b8304005dc6c2d63b4
lib/gecoder/interface/constraints.rb6640017.8 KB23ea39dc976a4573a3aa2ad91ec46e0e8b025a955b69a823d8c287822873a3e0
lib/gecoder/interface/variables.rb664009.11 KB92462dd1c513ca2d340b584cc38152a1e1b39f5e4d754d79e51e2868210bd66e
lib/gecoder/interface/enum_wrapper.rb664005.9 KB5c780aca4f3118dc8df3bb964bfb71235691badf39aa3218d4b76246560ec80a
lib/gecoder/interface/constraints/selected_set_constraints.rb664002.2 KBeb8c58906bac39180b52659a8910528bb0ce262c5d8f2486c3b4d47380204988
lib/gecoder/interface/constraints/bool_var_constraints.rb664005.04 KB4b499dc16ab3a478d75e612b644b68d9548729b9ad5a9126a7f986519de2d138
lib/gecoder/interface/constraints/bool_enum_constraints.rb664002.8 KBeabcc108932afd2fc90911960203c9e2162c803632b477527e124d61a6a41d7c
lib/gecoder/interface/constraints/selected_set/select.rb664003.96 KB918cbf089143e5b3a679b91df8208ba90fe699c6f3b5006df4e38b837f0b25f5
lib/gecoder/interface/constraints/fixnum_enum/element.rb664002.19 KBbb46bb19017886c5493c51257500dfbcf69aecf8c1046880f400df1f5a334b2f
vendor/rust/rust/templates/FunctionInitBinding.rusttpl66400335 Bytes3c9325f81d68b534436c9154ce4ad9d7d0020cfd12d408fd1dbe65e488b82c9c
vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl664001.67 KB78148aaa4025ebf5551c5b6c7aa36f26bc17e47b1fe45e45a247138c4f1ed1af
vendor/rust/rust/templates/FunctionInitAlias.rusttpl66400188 Bytesc3eef6e9ef40fbfd417502d4f022d94a1151aedc917e68c7de37252a03991390
vendor/rust/rust/templates/ClassInitialize.rusttpl66400241 Bytesa6d5b3ce3812dc50293c89ce8f791a064573e4e2d263ee37dca31c7c17f1653f
vendor/rust/rust/templates/ClassDeclarations.rusttpl66400310 Bytesb603e2c240eec03a71a57e6a68c7ff09541e596fb1c7172860683a8e35751391
vendor/rust/test/operators.cc664001.4 KBded39b99b6a7a7aac459577b7d4a830292aff18c4289eb3462ded7474c8f0f80
specs/constraints/set/include.rb664001.05 KB78a712a8ecc23a31c8fe8af1944c6231032c8165f974fe8ad3ca5c99cc6c3902
specs/constraints/set/operation.rb664004.17 KBf5aaf8f91bfcd24fac938949dc3bd02da5abcc0aec456e5dffaa6b22f5739baa
specs/constraints/set/connection.rb664004.85 KBcf4b4d0729c0d7adb732a5763990e21ddfd274b2ece7119a0e4a06daf5b4b4f9
specs/constraints/set/domain.rb664006.1 KB2dc13aa4926322c205f94164e6eb2adf9782a16469bc4c8282853bba510a9a4e
specs/constraints/int_enum/extensional.rb664007.42 KB27a9b0743892cfd5cfd6b7ce8e1922dbab3fec2b63e1f02c3ddad63118adb569
specs/constraints/int_enum/equality.rb66400775 Bytesa5c3476bddc5823520381837eeda2a3d5ae2ae9d20048a804112a9afad504467
specs/constraints/int_enum/sort.rb664004.88 KBc3e80f539bae7710fb573c5d014d53934cd9c2175611c52ddd7173051229d506
specs/constraints/constraint_helper.rb664007.89 KB8b206b35d93ae9de35a5eae65c9986d0d09681c32b57ec77688d80678014ddba
specs/constraints/reification_sugar.rb664001.72 KBe70357afebff5f47a742e888c9c6a5f520eb344db9e028eeba6459cd7538d3b4
specs/constraints/selected_set/select.rb664001.4 KB668c46b5b9fe30511dff4532e359c2cfdb3affcdefeb0bbc6f4eb5b9575d89c3
specs/constraints/selected_set/select_properties.rb664004.53 KB73fc001365b59a5f8bee0b7b3dda8bafc68b935ebb12dfec3d614b46c8d311fe
specs/constraints/constraint_receivers.rb664002.53 KB298b326981ce54602c2160675794a8917468caa9c14f78f8c75d69055896b2e0
specs/constraints/fixnum_enum/element.rb664001.47 KBdb6b254c01336f78371fd0188ff678c01f7284c32f2af19985274fce68008165
specs/constraints/fixnum_enum/operation.rb664002.21 KBec089dd2aead8165bf645e84ba26def0b7e80a692628167d01fbf413fcd2bef7
specs/constraints/operands.rb664006.26 KBf136f3eb0dc115df77f0955ddcfe0cd7ae959ed9c0c333df574422510d7c616c