gecoder-with-gecode-1.0.0-x86-mswin32-60

https://rubygems.org

gecoder-with-gecode

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 47143

number: 1.0.0

platform: x86-mswin32-60

spec_sha256: 94333c7ff14ed28e4baed207648f038e27bae76804c808435db7a7ebfce39810

sha256: 9c7ceb4aa29ffee3f84201a98c48e9a59b36ce03bb348cbf4ae427e6684b8cd6

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

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

position: 3

version_data_entries_count: 203

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

indexed: true

has_extensions:

extensions:

Gem size: 15.5 MB

Version Data Entries

Total: 203

Unpacked size: 54.8 MB

Full NameModeUIDGIDMtimeLinknameSizeSHA
lib/gecoder/interface/constraints/fixnum_enum/operation.rb664001.87 KBfdcdf6f1b0eadd1259e2390e0bd49a3e28a5251d1ffe778a21aeecae3315b72c
lib/gecoder/interface/constraints/bool/linear.rb664005.92 KBf8e41bf128fe869a9c01daa1c3907762b687e0d418d16e8a8c4d5fe4c6dd7911
lib/gecoder/interface/constraints/bool/channel.rb66400211 Bytes5cc5e835bff1e331b9dacec7340f2b9f32c2b7348789bf49d8d25ac91ac31f0e
lib/gecoder/interface/constraints/bool/boolean.rb664007.74 KB49ccb4a523940f776382dfb25059aa5351af2c493cc0c356d46f39fb4709f398
lib/gecoder/interface/constraints/set/connection.rb664004.15 KB3b0a270943f1db0c8d3db8fbd219c43619d3f0e0bf9194703c3ce857c1047b5a
lib/gecoder/interface/constraints/set/cardinality.rb664002.07 KB253346eb7a106567225377b5bf4e91df8b62138713092ce474c106c6bb97238b
lib/gecoder/interface/constraints/set/relation.rb664005 KBaf22e7a14871f826a696a2e3f92d4a4f0e312b754c8042284e676a00eeae48a9
lib/gecoder/interface/constraints/set/operation.rb664003.72 KB7b0127c5ef2c443550631a336d50e5796a36d81046e87c928fdfee28ad8aa8b2
lib/gecoder/interface/constraints/set/include.rb664001.17 KBa88761c6368ca99bb7cffb3cdf365c4084769e875badf9cfb1fd5bc61181e69e
lib/gecoder/interface/constraints/set/channel.rb664001.79 KBf6c9730aff258392119a858b9e353b5124c15ad667e75501bc335d838c8cfa0c
lib/gecoder/interface/constraints/set/domain.rb664005.25 KBb078e8145da8d36e022a828f3bfcbb07a71495841a24b4a8b02b051467e4a69f
lib/gecoder/interface/constraints/bool_var_constraints.rb664005.04 KBcd79e67e00eb8894b3295ebd1933f24fe70ad729cc92e02716a71dc738a86f64
lib/gecoder/interface/constraints/set_enum_constraints.rb664002.89 KBe7e2590d71deba4652f35e6f91aacd7a399706888f97f52a9cb2a5c681c13faa
lib/gecoder/interface/constraints/set_enum/distinct.rb664001.49 KB9c9b370b0e315875629c30fcdd537521fe586c36a7f3d3e30b355a350c1d80bb
lib/gecoder/interface/constraints/set_enum/element.rb664002.89 KBfb8afb59639dc91fbf35aff2f6d40d8e9a018743f42ef9bfa788b23a4387d15a
lib/gecoder/interface/constraints/set_enum/operation.rb664001.9 KB0c7f337ce002f35100a9577cec755e91f092c8b0a259212b5471bf4460fad65c
lib/gecoder/interface/constraints/set_enum/channel.rb664001.55 KBea869ced36445e8035d95569bccdf7b4224c70fe2110b59fccf0364325d070ce
lib/gecoder/interface/constraints/fixnum_enum_constraints.rb664001.38 KB869ebda3ad9e22da337d01c8d54e95d41aba55c974b789cbb77a3e3f6463631f
lib/gecoder/interface/constraints/set_var_constraints.rb664007.98 KBf7b9465c1e3016986788b9812af26b1833889c376a14184231efd9fc207d53e5
lib/gecoder/interface/constraints/set_elements_constraints.rb664002.8 KB8030b7d5487847e07a0a8aa0d3889599e9f7df5cd1767f1928cc5ea6eb1ba416
lib/gecoder/interface/constraints/int_var_constraints.rb664007.58 KB559aa4cd6d63f50c4d5dc3247e0c395be7c0027042712822ac742971a4d5f5f7
lib/gecoder/interface/constraints/int_enum_constraints.rb664003.36 KB2c626ba1775829fce0b59a53afe04ad402894e7c45bad693fc314a41479623dd
lib/gecoder/interface/constraints/int/arithmetic.rb664004.27 KBbcb0145a54ce863c6e6b200b54d919c71433f2c9427e64184a87a56076e6d9fb
lib/gecoder/interface/constraints/int/linear.rb664004.28 KBecf04977982e825f36efb0387e7b52bf7915ea5451abe0d7e2dd545f5be6d158
lib/gecoder/interface/constraints/int/relation.rb664004.95 KB8e5944bf2d15496cb4316440bc010faf6771e07ccc1f22bbb45aefcf7845efd4
lib/gecoder/interface/constraints/int/channel.rb664001.71 KBd5a0a9c3b9a98f83130f124f6ca248384d17fc393a088db2759bf5a4894b8e30
lib/gecoder/interface/constraints/int/domain.rb664002.98 KBa5a5840cf2c656a187b7272f35e5dc8c6e2b5bbbb8bc83aab1443e6068100336
lib/gecoder/interface/constraints/selected_set/select.rb664003.97 KB80f275cba856b767a708d71c5aeafe8d3a034debceb7d87cc4523f14d9ab307b
lib/gecoder/interface/constraints/int_enum/distinct.rb664002.27 KBec23204cfaab52631088b7437d69e96342d24f455ecf38acc2fe44261fdc8fb2
lib/gecoder/interface/constraints/bool_enum/channel.rb664002.75 KB687280a510665c5aeff911701733d3f4564b5e7fae8241844d64756ccae0886d
lib/gecoder/bindings.rb664002.58 KB7b956373127c3f0f3bf21ee1258bb9fc5e719b589efdd2ffd0bb19ab5c70c45f
lib/gecoder/bindings/bindings.rb6640073.9 KB6205f624128ba13da386be89c025483dc99d003b47facbfdb431c474649bfc30
example/queens.rb664001.53 KB86afbe7385e014762da0ac6e25b438333c2119fe4d8e9bb475aa678232462a90
example/send_most_money.rb664001.42 KBe43f33bd92d5fc1aec2eda0815faa3d60cfb23481068c29aab03500b061836d8
example/magic_sequence.rb664001.41 KBa44ea13de1a57c12c3561fdcfa93e2977f3cc1ff20e9e7afd635e499c76213df
example/sudoku.rb664001.69 KB79e705ba7068f4b9dcfed9cd1b10fb98a372ceb8ca70ca9076e63a5ac9b061f0
vendor/rust/test/cppclass.hh664001.71 KBf11c68bc8c2066a7ed1cd1c4b119d254c0572cc6c6d301fad49eb5f0c817a808
vendor/rust/test/test-cwrapper.rb664002.67 KBcd98821dba9723048f6e7742c0df2a34054e0a92931507ac22c8e0737ac3b540
vendor/rust/test/test-constants.rb664001.55 KBe0b0aa19cc17305c94f78935966fad2b7ebd00055813662a80344449bc87d8c3
vendor/rust/test/operators.rb664001.53 KB20dffc60ffebf4eae9f136d2c85287a02567d5bcaa38b2f2a52cc7cc09beb142
vendor/rust/test/cwrapper.h664001.65 KBe62218e1cb51e7f5027af2b71f4412ff61d5e608eb7879a8b62ef4eed93635ac
vendor/rust/test/cppclass.rb664002.06 KB3b240acfa9265c03a97afa45fd305571941e8c2d3237a206ceef0be6d0a64412
vendor/rust/test/dummyclass.hh664001.35 KBedd9d84fcff20f987fc494003785debca6309ffe30a30bee4a42fd35c2f30207
vendor/rust/test/constants.rb664001.46 KBa991a2592160bc4375042996032a10b96c8a26b572f03502522bbf6889caf46e
vendor/rust/test/cwrapper.rb664002.22 KBf3ccf036ae7fe39da41468453eea3eeb5397cbb3863c0e732613be21a58d934c
vendor/rust/test/Makefile6640070 Bytes166e2db32a538994a4a31696d75968ebb80b4775eb1434fa742d0aef087f25d2
vendor/rust/test/operators.hh664001.3 KBc5e9d0a198a41e726cfdb8953e91205df25ef7cad589a5eb752cac91ec7daf9d
vendor/rust/test/lib/extension-test.rb664003.45 KB33ac50c899f92da81ba2104c8380bf0c73da9e5ef2b1d4430e831a62bef16dcd
vendor/rust/test/test-operators.rb664001.42 KB8ae8e8c58bea7b829ea50816a7a760ec533c8fd0075471b03458d81afc9032b7
vendor/rust/rust/enum.rb664002.48 KBd9e968cb776fe5be616edef17806c5972cf78ad2c43b02e445d70378f0a468ac
vendor/rust/rust/cxxclass.rb664003.11 KB062342ff1fde2b130636807109e689cea6a91dc429bad1eb7a290fbce4ef4a8f
vendor/rust/rust/function.rb6640013 KBbadae298049aaecc4d932d130faab4cf47ab73bcf46542c8dfc1df9a590b544b
vendor/rust/rust/element.rb664002.72 KB95b24f817b86ded2a3593cba390813683df1884c3f6c2aa07ccbf52d7e88c135
vendor/rust/rust/attribute.rb664001.91 KBe6789f6f0e06f4a04545b89dbbaf304f440c97747e317a87ae66eee896cfb38b
vendor/rust/rust/container.rb664002.96 KB1e1b2753a833a27334893939039e52bde8a2160b722c87b762c36508a461f85a
vendor/rust/rust/cppifaceparser.rb664002.64 KBae61e7f53f39a7662105a6afa92eddbffba6cacd544571eb20d881ab01403404
vendor/rust/rust/constants.rb664001.76 KB7242614fff758a51b5d63f08e16c327f5b5da731d758d37eb10682443977bd8f
vendor/rust/rust/namespace.rb664002.11 KB4ebdb09167c0b6dc970a6d6fe7b9ff556d724848e34f170d3ef671e04bfe300f
vendor/rust/rust/class.rb6640010.7 KB3a18c6fe93d3dcd0d8bf8570940af88235508755eccf5b9abc7cb236ad0c887a
vendor/rust/rust/bindings.rb664006.08 KBac30fcd41938ba3a49ccf72dfd40db4e5cd6f6644f9a9b2acabe4ef9a6f82d58
vendor/rust/rust/type.rb664002.43 KB51d5d948e39c959393096bce407669f237dab492e13fe2e9eaf007b7c106bd63
vendor/rust/rust/cwrapper.rb664002.29 KBd8299fd3dcf8ae8191e1c457575e649b7a2b388e5a957cbd3628d379c4e202c6
vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl664001.67 KB78148aaa4025ebf5551c5b6c7aa36f26bc17e47b1fe45e45a247138c4f1ed1af
vendor/rust/rust/templates/VariableFunctionCall.rusttpl66400238 Bytes6fcec89e380ae6185f6d3b107a04da008e7f21891efa4bc3751e528fdc0a8b6f
vendor/rust/rust/templates/CxxClassDefinitions.rusttpl664002.63 KBda21b8bd46d0eea7d2ad89f2fd4bada0f6c4722dd98a4691bb54fdde71904c95
vendor/rust/rust/templates/BindingsUnit.rusttpl664001.07 KB6e4b857f13d541dd8c96d8eb97e21ca5097265977f62c53e27821315c2c69523
vendor/rust/rust/templates/EnumDeclarations.rusttpl6640074 Bytesd97788b11448a984bc69d02644ab3566b732d8aa93a20fefdc572d4cbbed32cc
vendor/rust/rust/templates/MethodInitBinding.rusttpl66400324 Bytes32a37378cecbb3b77ce132cbe753b88e6758601084ab85c3a8168dbbb189a6d2
vendor/rust/rust/templates/FunctionInitBinding.rusttpl66400335 Bytes3c9325f81d68b534436c9154ce4ad9d7d0020cfd12d408fd1dbe65e488b82c9c
vendor/rust/rust/templates/AttributeInitBinding.rusttpl66400446 Bytes9e1c76c7d3200b2b823c87a035a01343ce0796d8a5768a69261db969d8d50501
vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl66400249 Bytes45ba044cb6f40f414958e2765e46ec1d80cadd33622cad92ea2ff883f1cd3079
vendor/rust/rust/templates/CxxMethodStub.rusttpl66400333 Bytes7eea67696110b70e45a1b3ea70c1e9ab467395e06abbfbbe64707f194d49f702
vendor/rust/rust/templates/ConstructorStub.rusttpl66400535 Bytes0fba8ed538d871b3d31675c7750f33f553a3b5cdc9f2b02f9fc797e2f99234db
vendor/rust/rust/templates/ModuleDeclarations.rusttpl6640048 Bytesf8b1e497f3494781f4d62ceeaace3d626dfe59b2a2f4efddc72641a758fbe506
vendor/rust/rust/templates/ClassDeclarations.rusttpl66400310 Bytesb603e2c240eec03a71a57e6a68c7ff09541e596fb1c7172860683a8e35751391
vendor/rust/rust/templates/ModuleDefinitions.rusttpl6640041 Bytes897e68ff7165bf2507d0cd5926094fa87374d84e659d3e25da7a4381c588e4e4
vendor/rust/rust/templates/EnumDefinitions.rusttpl66400642 Bytes1afbf36ac124c91bbb3258489e7488e3590bcc413068cb3832169c14831a6ed3
vendor/rust/rust/templates/AttributeDefinition.rusttpl66400514 Bytesddd15708153b6214e9860a0279ad38fd521de96d15c7495506280844f5ebce67
vendor/rust/include/rust_checks.hh664002.55 KB2a121178b1a44151cd91a209e5cfcd6feb94f6b0db5a4d28ff9154e973e8aec0
vendor/rust/include/rust_conversions.hh664002.88 KB8371be8895bac51105fa3af841fd17a80de8ebc77e88b0439eb1f591fc8f6e51
vendor/rust/bin/cxxgenerator.rb664002.32 KB524ac51741af2520e30001e0e833e596fd9cd2e8304ca4fa43113918b5a4e5d4
tasks/svn.rake66400541 Bytesb0d30dcdcc86d8ba2f221c825bc02bb8fae9f002d18c0761470bd314fe12e0e0
tasks/specs.rake66400519 Bytes1147258c8fa187d4a867469ebb26fbce22eb6f9438ff8faa15533c713bc27d93
tasks/rcov.rake66400515 Bytesdf7850497a1c5f788affa1d81ca686ff9d74552900811997d5846d372396a70b
tasks/website.rake664001.13 KBd036cbf20cdd85bf6e3d68a2e1a7aec65ae986e9098b748ee039985423cec890
tasks/distribution.rake664006.75 KB83c8029cdd1900a1becd028e9eb6a4320a3777d9805b1da659d218b76607dd38
tasks/dependencies.txt66400562 Bytesa128bfce37b79ca4ba83caf9122aba03a91070bff557e1863adccba11cad59c9
tasks/all_tasks.rb6640064 Bytes5bd62cfdf66c82aed59644e6ec24eb9de069fa96d1c8f8f126a4f7bb4959a573
specs/examples.rb66400468 Bytes5e064e62d9c642d86d3e157aa0ad54bb0e3ffd18195ca547aa90ddad0788c8ab
specs/model.rb664009.84 KBb0391ef61ca81c178b949e6bd56c9ec513671a8d23c3ee0474f0c563800d7c9e
specs/int_var.rb664003.85 KB209e736cfe1e83a8e58e87e487ea2d25ec595b1c33a064b0c351f814e8454e0d
specs/search.rb6640010.1 KB24b4f47e3c6f6368560fe17666a77b87c02b85a8c4a78e60d7951aecfe49961c
specs/model_sugar.rb66400891 Bytesd8ce5fa599255d67c3c93b9a5f10c55fac902200e4ceefd42c42fa3817ae4507
specs/set_elements.rb66400927 Bytes1dd19c92fca38ceab2ca19c59659a83389084399b69030ff007321db43daf452
specs/set_var.rb664002.15 KB2a93acf4b1d3e9c69f2227ae6082ca16e7076afcf752524753cd52a1f914b6bd
specs/spec_helper.rb664007.6 KBd72cd0949e4ba17e7ce3c5035174188df2c5dd848c9570ec7d846529c25578d5
specs/branch.rb664006.02 KB76b2c80926afc2b687e730c0fb1a4821d3ab1a5ae3612bb81a059a8519e5ed21
specs/logging.rb66400573 Bytesed834b80b4dc86a1428321cd76a0b311777f09494448e7bd7484be353b8a83d6
specs/distribution.rb66400535 Bytes2fed58791ae43dccd623cdd06c89f76a931fef8a135a217b0c26e0b7588f2dfc
specs/enum_wrapper.rb664004.48 KBa46c2cf4a69fad9875cdefba6118b14590e6fadd91bd59405f40a6d2be0d8b1a
specs/constraints/set/connection.rb664004.85 KBcf4b4d0729c0d7adb732a5763990e21ddfd274b2ece7119a0e4a06daf5b4b4f9
specs/constraints/set/cardinality.rb664001.77 KB201276bc54d0b1b304d00e8a6380f5d2244bf3059c7087f35eb915608a688713
specs/constraints/set/cardinality_properties.rb664001.15 KBb4dd37aeaa837da942386c63db131c61fc383799d09f557f45fe3883d413b4fa
specs/constraints/set/relation.rb664003.67 KBe0f957240605159c93322375b706c862dd309cfcd77d5b4376cd2901524ecc85
specs/constraints/set/operation.rb664004.17 KBf5aaf8f91bfcd24fac938949dc3bd02da5abcc0aec456e5dffaa6b22f5739baa
specs/constraints/set/include.rb664001.05 KB78a712a8ecc23a31c8fe8af1944c6231032c8165f974fe8ad3ca5c99cc6c3902
specs/constraints/set/channel.rb664002.08 KB2920f7b82275ade93ecdd2c914abebd01fcb476ef0b47167a232df3ed1165491
specs/constraints/set/domain.rb664006.1 KBf3e9f21bbf8ff0f91ef2c59635179df818b681e916cd930647c39b137c78ed08
specs/constraints/set_enum/distinct.rb664001.68 KBd954b77cf98e42674577f9122b40020d388c6060b6b316c87b101e29d8c31c99
specs/constraints/set_enum/element.rb664002.01 KBa2adb5f853c1af23f01ff6005910a9642da181c8622b81d47d848defa91a4824
specs/constraints/set_enum/operation.rb664003.35 KB925348fffc325d211f0ec9941b732fa4121c5ff859fb40aa7aab3ec3dc502efa
specs/constraints/set_enum/channel.rb664002.24 KB32953efd944df5e96999e298d3411b6c0d22d6f4890c276abefcf37191cc681a
specs/constraints/int/arithmetic.rb664003.61 KB270f273ffce4111ed6afcc80d3cc2fb09ab63c19cd66f99e55c438825aea29f3
specs/constraints/int/linear.rb664004.24 KBdd81e91b2a15333d93546cc45bbac0893e90784c4df55a67a58dcbbb38804a0f
specs/constraints/int/relation.rb664002.53 KBab8ec20dd629026e1b33f01058193f44fc1b0711701a37ef8d32dc3409a36f31
specs/constraints/int/channel.rb664002.53 KB7b824b1e3024d685d3f74f17cfb3b20abc5737a0b4925a18f47067851bfb5c76
specs/constraints/int/domain.rb664002.73 KB8825e545b8b8a46a6a1b42ddebb3cfe19218dcc1fb88b256dd525d9bfa283be7
specs/constraints/int/linear_properties.rb664002.22 KBbd0f38ad782e914ae895a5118479280f6610eeed25cd74b829d181ea1664a681
specs/constraints/constraint_receivers.rb664002.53 KB298b326981ce54602c2160675794a8917468caa9c14f78f8c75d69055896b2e0
specs/constraints/selected_set/select.rb664001.42 KB13537f0b37660a3e992b2dbdbfa0a9131c25df95d37ad3f31a689275fa70fdab
specs/constraints/selected_set/select_properties.rb664004.55 KB8f9222bc6ff60c02dd2a964a2018801359033238bf817d632fda778679d27b8e
specs/constraints/constraint_helper.rb664007.89 KB8b206b35d93ae9de35a5eae65c9986d0d09681c32b57ec77688d80678014ddba
specs/constraints/int_enum/distinct.rb664002.27 KB787616abd6de8f3db455e802fb34d3dc4a62a52cb16f99f1384227ed0f70f856
specs/constraints/int_enum/extensional.rb664007.42 KB27a9b0743892cfd5cfd6b7ce8e1922dbab3fec2b63e1f02c3ddad63118adb569
specs/constraints/int_enum/element.rb664001.61 KB698b96e0a3f47012b018236f02bf96729c304ac2b1dd3e9d29ad83a8b5434983
specs/constraints/int_enum/sort.rb664004.89 KB27389503d23d80bf748b1e645e1c235753deac3279111cfc1c336c8834fe790d
specs/constraints/int_enum/arithmetic.rb664001.7 KB5ef1d9762667042ccbc0032438e0d1d2dd0598dec4c81e582f6f6619df2f60ac
specs/constraints/int_enum/count.rb664001.8 KBaa85caf27da46250b200560fa60f1445fa93c0e22bbc8d4b05231d48ab805a60
specs/constraints/int_enum/channel.rb664001.56 KB228e7f14490d0b90dce20db772862263828dc7b2dbe2bbbbdf051428652526f0
specs/constraints/int_enum/equality.rb66400775 Bytesa5c3476bddc5823520381837eeda2a3d5ae2ae9d20048a804112a9afad504467
specs/bool_var.rb664001.89 KB26d4e6f2db7f567584be32ccb95d21f4fa314338078f4a9e0d502d71056008dd
vendor/gecode/win32/lib/libWindowsgecodekernelWindows.dll775002.38 MB6ebcbd7d61d04cb9eb78d0083f51115bdd510f62ac6bffcb80686ca9691b24d6
README664001.36 KB6fddd786d6951845e2f662531773d275bb09d817627300d4da6020b4126ee80e
Rakefile66400371 Bytes797d8e8840f3e80dd1099706c57b950007cef30cdf981ad579e7aa0ce48764a8
CHANGES664009.34 KB24d8eaccd55c5e2b8733bc85bfc4af7947c3232cb7347b88846c87d6f2140bbe
COPYING66400799 Bytes12f7ebadf644f0daf0e0b13310fe34cf70d910175982c018ed67a8a909b7b73e
THANKS66400894 Bytescf2ca09cc3a9295789ff6b01fd303aea8b3aacf22526ffd431424962af0cf5e6
LGPL-LICENSE6640023.8 KBbd56bd7a47dd73fc97e75133bba00678f316b8a8c29171a943120ea31d7af006
lib/gecoder.rb66400159 Bytes82c2975efc439706dfbf140379e7946799f6992734220376d0cdd40fe673157f
lib/gecoder/interface/variables.rb664009.11 KB92462dd1c513ca2d340b584cc38152a1e1b39f5e4d754d79e51e2868210bd66e
lib/gecoder/interface/convenience.rb664002.44 KB3d696fb7e7a56ec96bb2e1c9a987f67540104fd77ced230dbe3cbc8bab893fea
lib/gecoder/interface/search.rb664006.83 KB8e6e7dee5d18b5232ece2a725005a84db022f4938c0874854d461ed1e99efeeb
lib/gecoder/interface/constraints.rb6640017.8 KB23ea39dc976a4573a3aa2ad91ec46e0e8b025a955b69a823d8c287822873a3e0
lib/gecoder/interface/branch.rb664007.94 KB876df5d68524f063c45e37bd5c43080947b58ef1ef3119fbe3940826944a868e
lib/gecoder/interface/enum_wrapper.rb664005.9 KB8f95545d3d23de46dd58723eaaf00eee85f47b1f26716f23e21f3e0b459009d3
lib/gecoder/interface/constraints/extensional_regexp.rb664003.16 KBfc367ffc649c8a703096b538f06af9697096b3b23a04c26adad8e29c006eaff1
lib/gecoder/interface/constraints/bool_enum_constraints.rb664002.8 KBc922e148899d8a95d27f2e5c4f58ec0c2b88a4fe162b7f0f044cbb4862752e27
lib/gecoder/interface/constraints/selected_set_constraints.rb664002.2 KBeb8c58906bac39180b52659a8910528bb0ce262c5d8f2486c3b4d47380204988
lib/gecoder/interface/constraints/fixnum_enum/element.rb664002.19 KBbb46bb19017886c5493c51257500dfbcf69aecf8c1046880f400df1f5a334b2f
lib/gecoder/interface/constraints/int_enum/extensional.rb664006.67 KBd58abb6a45d41319e4f77d534bb7373c0ddfb21fc0073f7ff73c154b1b94b991
lib/gecoder/interface/constraints/int_enum/element.rb664002.21 KBfcfbc1c44e45258b9bebf7df2bb556f218d5f3a641968005f444a49deef850e9
lib/gecoder/interface/constraints/int_enum/sort.rb664004.96 KB3076c260cfd27052de1e4425d64476ecc5595ca43963479ce6a2e80d5ddc0496
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/channel.rb664003.12 KB90316a58fa30d7e64c995564e8fe5f3fcbe1b54b7a1084e2ce47282ffb4961b4
lib/gecoder/interface/constraints/int_enum/equality.rb664001.22 KBc454f487922f2e8a8d519c5d2b32be9be98348122e67a69373b053134fe5b581
lib/gecoder/interface/constraints/reifiable_constraints.rb664002.47 KBe6a484c86670a2709d7dc739f973539a84278e99624733e5bd8a76bb2bebd5d7
lib/gecoder/interface/constraints/set_elements/relation.rb664003.65 KB6df7bba8d7392ed74a4f62dd891a89b269909168ad20438dbdc48c14e7dae5f5
lib/gecoder/interface/constraints/bool_enum/extensional.rb664003.65 KB8e65fed2d58f96da84244b960e78322f2b0cc8ae538d79275fe16ad25f9a7abb
lib/gecoder/interface/constraints/bool_enum/relation.rb664001.72 KB1d1999348e0ee864ba4057a730f9351a3db393ec286412954dc160f90569f6dc
lib/gecoder/interface/binding_changes.rb66400249 Bytes3969a6a603b650deca148f4a07d717395f2a75a3351b9d9fb0deacc6aa26f4e7
lib/gecoder/interface/mixin.rb6640018.6 KB0c5f914d6cd13d188225a427b22e77e09b983ea566dd5b7b361871a22372afff
lib/gecoder/interface/enum_matrix.rb664001.33 KBb2ecdc85dcfcb610c1fc6dcbda3f336cec64eb0f7d99af972f1762cc7d8a0466
lib/gecoder/version.rb66400101 Bytesc41c9e82630e57f61edc1433c3d0bfedbecde24c7ec8d2abf7a77b05b8a4993f
lib/gecoder/interface.rb66400415 Bytes66f050c14909051065911c8ffeebc5b6bfe095c6ed1286966efc66055738e5e4
example/equation_system.rb66400305 Bytese967efa77895a98b34bddb05a245fa777fa8156df158c139ef6cd3bf584cb7cd
example/send_more_money.rb664001.2 KB8db55a8b500ac9eb5941c85a2cc00292b1241054d9dc91f8b2e1853b001f6d86
example/square_tiling.rb664003.5 KBc1d528f9656ac7ff7d61a75c079bdbf1d35dce1a8ccccd0b0cc26ce96f7d2ae3
example/example_helper.rb6640051 Bytes024c10e7b914d86f4010b7d474e077fe274efcf72f41b6c76b34071e8eb498a0
example/sudoku-set.rb664003.55 KB55cc0c6814ea4cdbd56bc939dbca1a513e295c667e71d57295765242533bd3ca
vendor/rust/README664001.34 KB366e0ff0ec659a8b7bf2f1a43b2cbf030754a43bf14991974e360c7f671e5bae
vendor/rust/rust.rb664002.83 KB0a9f691d51913f4f53ea0565958d8b7949e451dafa23384bf8449e5819250ba0
vendor/rust/test/operators.cc664001.4 KBded39b99b6a7a7aac459577b7d4a830292aff18c4289eb3462ded7474c8f0f80
vendor/rust/test/cwrapper.c664002.29 KBbd534ef300556c5f0359609dd009bd0973c8c128304872705c1c57b8ea0319ac
vendor/rust/test/cppclass.cc664001.44 KBf349f4a46efe8751a5dcaa2fc9193a6a2a4fe8568524c21798789dcd97dc5ba8
vendor/rust/test/test-cppclass.rb664002.65 KB553e3ca3282b76032944f7782713c126d829d48c6acbda98aa78a03ec3680460
vendor/rust/rust/templates/FunctionDefinition.rusttpl66400183 Bytes90552bfc4342bf5a2078b8698c3aa21a57bae703d81b2ff1c0eb58de668e740e
vendor/rust/rust/templates/ClassInitialize.rusttpl66400241 Bytesa6d5b3ce3812dc50293c89ce8f791a064573e4e2d263ee37dca31c7c17f1653f
vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl66400648 Bytes620b90a6f5c260713d0b79acf33d4c85cecaf1c76efa9cb84f4d8d38aa14fa0b
vendor/rust/rust/templates/BindingsHeader.rusttpl66400521 Bytesdbc28faf0938daf4a8a38d8f3c6dc2322815baae3c2cae6dc7c90aeb7d1aed0b
vendor/rust/rust/templates/FunctionInitAlias.rusttpl66400188 Bytesc3eef6e9ef40fbfd417502d4f022d94a1151aedc917e68c7de37252a03991390
specs/constraints/fixnum_enum/element.rb664001.48 KBaf5755b2afb0d5d1eb395a5124345c58c35217b902217701a1b94346074c93a6
specs/constraints/fixnum_enum/operation.rb664002.21 KBec089dd2aead8165bf645e84ba26def0b7e80a692628167d01fbf413fcd2bef7
specs/constraints/property_helper.rb6640015.5 KB2fce796d8010937a0f9ed072b529704b69d3d4b8f56f0162b889ca0fd3837fb8
specs/constraints/operands.rb664006.26 KBf136f3eb0dc115df77f0955ddcfe0cd7ae959ed9c0c333df574422510d7c616c
specs/constraints/reification_sugar.rb664001.73 KBc79c02843e934b31bc5d2600d8d056ebd49ef604c1d0982f9ea73a2cc2eee5ef
specs/constraints/bool/linear.rb664004.91 KB9435ebcf11ccf7c506e3b9112572e941b6f9d1a0ec37a275c2cf4811ed0ee6dc
specs/constraints/bool/boolean_properties.rb664001.44 KB8e9bd8b10b20246ae3f2b73c336e50c5e674eff92e2db97b54f5e48739c544f2
specs/constraints/bool/boolean.rb664007.89 KB216bfc215d8dc1e6b6575bbf852d7de3145e244d64d9f23c3e4a14de8e280bad
specs/constraints/constraints.rb66400751 Bytesc1a1ef845810f7109cb0026cee9f8250493d81af4c3bf4ef2bee502962d44052
specs/constraints/set_elements/relation.rb664002.61 KB5ccb0456bf5412b46bb4f983116e541061c3bb7b63322175a0bb00b1ee8eadd2
specs/constraints/bool_enum/extensional.rb664007.54 KB168b11bb9a1d04566f002eae7193da4f811c3b2ea3078fd303f650dadaf7048b
specs/constraints/bool_enum/channel.rb664002.71 KBcab0cb3a44e1532666687f540753231c68550336c609bdbbbd47d47bde571285
specs/constraints/bool_enum/bool_enum_relation.rb664003.23 KB665343a350db5c6e2b4803fa0eaf7b016b5f56c347c70f72a984b839e8434bc3
specs/selected_set.rb664001.1 KBfead324757de38623080a6a1fc16cd8e8f95b801ce2ff0d4b502f40ead70503a
specs/mixin.rb664001.67 KBf1d62da8426bf1f197ff1ad29315142ca328f5f4ebce32f1114a40e94b849d58
specs/enum_matrix.rb664001.14 KBd504a7b84dff4ea263ab86215c14107d635f6e1f12a6e377c2b44e94f48ece6b
vendor/gecode/win32/lib/libWindowsgecodesetWindows.dll7750020.4 MB5943c5eef98e2c6f8dda329723fe7d558e2abac482ce95a93ecf907916cd2227
vendor/gecode/win32/lib/libWindowsgecodesupportWindows.dll775002.37 MBa673a4c606cf9f3f27e99af5b0426be8113dfba4858a2ae5027d4eb5902675e6
vendor/gecode/win32/lib/libWindowsgecodeintWindows.dll7750023.8 MB918f3d3ebd5a78ac56dc9bcafb514763c022fa714890a425027055d695d2cda5
vendor/gecode/win32/lib/libWindowsgecodeminimodelWindows.dll775002.14 MB8f8bcc1e4978dd4e26dd4504a4b538f6ce70913d38900c40e7cd6445b90c32fc
vendor/gecode/win32/lib/libWindowsgecodesearchWindows.dll775002.16 MBb5031eb1abbd7005eaaabfab9d8655d6f9c44ad81d19dc6852dd0b775eecd13a
lib/gecode.dll77500855 KB1391bef96a929e727685770d82719a9cf102509ffb733faf6a33c8bb1d1e44c4