mini_kraken-0.3.00

https://rubygems.org

mini_kraken

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 1302749

number: 0.3.00

platform: ruby

spec_sha256: 43c0b2e56c14dde07aa52caf761639394edf7d5f1914f6f4f3641874eb5a05db

sha256: 0c7944a2ea74d676336bafeac1500feea20b1eca62f26d10666271bfa540a4c3

created_at: 2024-05-13 08:33:39 UTC

updated_at: 2024-06-13 17:30:18 UTC

position: 3

version_data_entries_count: 100

uploaded_at: 2020-12-16 20:26:40 UTC

indexed: true

has_extensions:

extensions:

Gem size: 57.5 KB

Version Data Entries

Total: 100

Unpacked size: 279 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
LICENSE.txt100644001.06 KBdf3eb6ad147afd4f70d062627288edda0273e2493de0c9d4397d66fbe34f1798
README.md100644005.04 KB7933d28253bf06ae51675cfaa978b2e7d88442ac954425f58ba070da4bb9e202
Rakefile10064400145 Bytes9e1ba08392e6ad5aff02b757932420c6b4497d9340053e7b5279c524d427ad17
.rspec1006440053 Bytes06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59
.rubocop.yml100644005.05 KB4710b4b8e5ca3a2a7e4ed71aa3f866fbf43b1d1ea8a6abc4337a46fa3605ef23
.travis.yml10064400152 Bytes6a215d809451ea63864295a1d1444ac476835f5221cf7010a28ab2b22dac4edf
CHANGELOG.md100644007.31 KBb4f07a6d5e212750c34cb8ca278bb6af6f8bf56894fb580e6955aa28ce9dd4b2
Gemfile10064400127 Bytes18409819b8bca48944f77310a7a8a03e44daceb466503a929aea51849da77b02
lib/mini_kraken.rb10064400316 Bytesc42d64f11337c2dfe16b09d4ff8c171a85788c33e8029d30a39f7a98915929a9
lib/mini_kraken/atomic/all_atomic.rb10064400116 Bytes0a6c9287d73abc6d019ed004ca7d712b899aa6e712016281d0c489a526da99aa
lib/mini_kraken/atomic/atomic_term.rb100644002.68 KBae1bc36b80ac6134a5fdaf6a8ed8f9520e593e8f5db4c9435d3fd64a27dac6bb
lib/mini_kraken/atomic/k_boolean.rb100644001.33 KB2e35efd5fbe7cc60effda84ce4b174d188d0fd4fd9d18080abcd9fbe1877db6b
lib/mini_kraken/atomic/k_integer.rb10064400340 Bytes397ec53c400d9e167243ee900603838eb87ef69b3b2f2b049230601eaa7191e2
lib/mini_kraken/atomic/k_string.rb10064400381 Bytes5b37d00890d030699d34b0416df8909edde8e5d324b0d4bae863b10b798bf4d5
lib/mini_kraken/atomic/k_symbol.rb10064400526 Bytesb9e2073b8ecde4a8ad3d7b51bdae0b30498f90c0107d444c71ef8d4533ce884c
lib/mini_kraken/composite/all_composite.rb1006440092 Bytes70784f28aa577c988a213cd975e8fc9825a61a93e0ba28f1d0f42f879ff72c68
lib/mini_kraken/composite/composite_term.rb10064400735 Bytes9af9c9816ed850c153023b2f527d6ff769f4a4010885986343d1ff809edff59f
lib/mini_kraken/composite/cons_cell.rb100644008.18 KBb7f92b2b76e3e1da4d4dfb8af455c639ec2f43b84df3e16f93b480ae026a10f9
lib/mini_kraken/composite/cons_cell_visitor.rb100644001.66 KB5ac3ab8ed1144ed4bbd7ef323cf5b7eb809aae62efb1a031368ab5451e4d57ee
lib/mini_kraken/composite/list.rb10064400944 Bytes48517550bd4aca74063aaceb6ebe840a635a362db54e24078696eebfb23b8684
lib/mini_kraken/core/all_core.rb10064400191 Bytesf5febd10f454b379d90a9f089c855fc4979a65bdac7277ae58f679ba103c3689
lib/mini_kraken/core/any_value.rb100644001.63 KB38fa859271f9d5aac6919a365b1ccf5cf69dc710141a40cb2d27128a97590ef3
lib/mini_kraken/core/arity.rb100644001.85 KBae10bb51e7a8ed6d2339ae453909bc9af727d57c7340202e8ca4b141d9971a67
lib/mini_kraken/core/association.rb100644001.78 KBf2545de1a33a6cf7cfceeb1821a53b0b91416614b6bcb12ab566da3a03425ec8
lib/mini_kraken/core/association_copy.rb100644001.46 KB5cb6a3aa9dd2f9f4b7c088dcc93fef099b326365c1ec9de4287935647fca7c3f
lib/mini_kraken/core/base_term.rb10064400441 Bytesc6f478d65deff2be54da1c728bc93e8ef84a9d228b5579e91e28ee62a91881c3
lib/mini_kraken/core/blackboard.rb100644009.63 KBc6c115ac71d4aa92202538846613b9a242ea392bc4e1a11dfc8a4a69e18e70be
lib/mini_kraken/core/bookmark.rb100644001.4 KB37368c3da9f22ccaf83dce1bb2abc6aa2033d2d49187df2030d908be9acb18cd
lib/mini_kraken/core/context.rb1006440019.3 KBee41a21e239a66b43a7f0f31e06b74c713abdff9f5288941933909d95b5aba36
lib/mini_kraken/core/duck_fiber.rb100644001.3 KB5aba8f9655d83a3c02ea52dbd6363f954583f748065f9062564996fdda87be14
lib/mini_kraken/core/entry.rb100644001.18 KBd5c81a06e2a7ded1a8907ffb328b56beec7dc7b0107ffefdb768c4b1d1ff9bc1
lib/mini_kraken/core/fail.rb10064400847 Bytes2dbd969094771dfc6b121452538ba59d43b75119f094f96e189403c5a61d0f5b
lib/mini_kraken/core/fusion.rb10064400864 Bytes20526dbb42c19ee27af091a9bbef3c25d95f13d860dde016584f1aa7565e68fe
lib/mini_kraken/core/goal.rb100644001.24 KB6d9e18644b25bf48da3048ceccb61e612c3d13191be4eff04ab18be6ebfdbdbb
lib/mini_kraken/core/log_var.rb10064400688 Bytes5e8c703826dc1d7de8bf1f11ef8363e4035547a5fb62c6343e560eea2e045d16
lib/mini_kraken/core/log_var_ref.rb100644003.24 KBc580dbd3d92f794100ea55d909a85d030068c38f0ee7d81ef7de9a5797ab056f
lib/mini_kraken/core/nullary_relation.rb10064400302 Bytesd604d543fd8f641a62df06b8db1278fcf4c7c1586eb469913086992118bbf63a
lib/mini_kraken/core/parametrized_term.rb100644001.8 KB40ab475446613b5368831b8e51ebb22b280c5228fa4138789ee7a73b3ef62633
lib/mini_kraken/core/relation.rb10064400839 Bytescc009ad6bff8a6369ac753149728f1fd144d234041eb7590c30736fa67b62cc7
lib/mini_kraken/core/scope.rb100644001.87 KB583277b5376b75e9a3425841097309a365c0ae6677bb94ede3a959778af09d98
lib/mini_kraken/core/solver_adapter.rb100644001.63 KB5fcac4c8eb35ff65b659300853ba184f4509e932cbac6a76794ca962a660e97e
lib/mini_kraken/core/specification.rb100644001.41 KB649fcc105199ca931116348dc4ac360169283a41f10dfd204fd524894ce364d1
lib/mini_kraken/core/succeed.rb10064400920 Bytes4563f1fc9b1d3e2455b534bc7f2a36b4b4a6a2db400e7f0d29afa405eca19b9f
lib/mini_kraken/core/symbol_table.rb100644003.96 KB9c0e6b78c1a79ddc0d1a8ac27fd26b871673fe803c42a558a8f7558d28889557
lib/mini_kraken/core/term.rb10064400743 Bytese2e788d3d34e4b83fa74a1936f1e4441a403ebf053085a28a3872423b59a879c
lib/mini_kraken/glue/dsl.rb100644005.83 KBd32c732be4250b972760ae88966f9d56add250614e60afd6f0f955150ca88e1b
lib/mini_kraken/glue/run_star_expression.rb100644002.01 KB0788b86d34545240a139917bc5138475b4fac37ac7f4bb32e8b9ecdabf5f10cf
lib/mini_kraken/rela/all_rela.rb10064400188 Bytes359b81f2c8d0e1f695c37c7bc810c35c07723327456ddc067a6df344b89cd9d1
lib/mini_kraken/rela/binary_relation.rb10064400783 Bytes255594f3d0ecccdd082515d58904c95e7ad9c5e9f0c0e16af369aaf909b77eef
lib/mini_kraken/rela/conde.rb100644003.61 KBbfa9b41db3dff893907cbd2ae6ec484b229f11f801adf3d001527a7a3d802afc
lib/mini_kraken/rela/conj2.rb100644001.77 KB3519314bbd95307ecb9a5c3c8681ec6d649a869f3441d27fcf5bcd385d3f8a62
lib/mini_kraken/rela/def_relation.rb100644002.13 KBa46fcd1d60c08039b48b5ca4239393ad7516f20b21386318ceb0ab3ccd4e5a70
lib/mini_kraken/rela/disj2.rb100644001.91 KBd16ab01a8060c9d108674c4ef7e38b76ef519990764d45ae0ce0154722489749
lib/mini_kraken/rela/fresh.rb100644002.68 KB971bc3c7d86c8515bba38dcc160e31fbc095f2a144dcab7e1acd5bcce0a90d1e
lib/mini_kraken/rela/goal_relation.rb10064400642 Byteseb078cb285baaec8650852015eb29a44e74f9296e03bd8a8e8064b9da1706052
lib/mini_kraken/rela/unify.rb100644008.71 KB53dea57020e5f82c3de24ef3c64c5ac7a01b435950f07d84f1209576245b58ca
lib/mini_kraken/version.rb1006440074 Bytes23238591e73d05668f3f2bc7e5fa5d2e438b105aca3f75d3cffbd67162d44eff
mini_kraken.gemspec100644001.75 KB3a91c36871d38616dabc101420c1ce2fc26afc0a2a06d6a581c78c17733c5987
spec/.rubocop.yml10064400249 Bytes1ce869cb2aaf455965bec0a467a24fc90f50b36c9c27443b7fb1d76b181b4f1d
spec/atomic/atomic_term_spec.rb100644002.99 KB33adeb7eb211964e86033d31ce8716b88c2a37269b6da4389cb403b2339e96dd
spec/atomic/k_boolean_spec.rb100644002.97 KB74cffcdfd664814e64bf14f7488938112c1eabaa24f1b0fbbfdef933515824b5
spec/atomic/k_symbol_spec.rb100644001.79 KB0ddda1faa128afe29228f199ed98f36b3286faa7c939eef4f881045d454f21ea
spec/composite/cons_cell_spec.rb100644007.52 KBca216260002bce067a9d899693de86307a4b8ab662f41a38c1fd72c208cd44e1
spec/composite/cons_cell_visitor_spec.rb100644006.43 KB560a45bd1d852bf860b500629405a90da8c6e0d6df6f397965916b0181f1bc87
spec/composite/list_spec.rb100644001.4 KBbecc17e6cc577f3f49c35f52d6fdb397c446d762e03aa630a9b891845fed8f2c
spec/core/any_value_spec.rb100644001.44 KB695d51cf5f41d90e248702d239f029b859580bdbba3d16e3317c1b2b3853e692
spec/core/arity_spec.rb100644002.47 KB5290d736f1d177883543ddb3c718b39bbf60fbc3d286a6dd0a88e3bf8f215c57
spec/core/association_copy_spec.rb100644002.25 KB5e08ec0286e144f76de2b5a3471ed16b2e45ee9c02a0469cac59fa25e3a1fd16
spec/core/association_spec.rb100644001.99 KB6227424e7d068c7f654365ac96afd5479315a426859f602c745519e6bfca3a63
spec/core/blackboard_spec.rb1006440011.7 KBda0554b3f3f367c7ef86e7fb4b498b73f89bf5586e4c8607f4b526466a828aa6
spec/core/bookmark_spec.rb100644001.09 KBaf02eff2060d7675a30aed9c790299ed0526950e2c89341bc2f0859081c13941
spec/core/context_spec.rb100644008.08 KB2afa02b200089e8bb25360132ea031be8878501449213e0a21fabf0808a73599
spec/core/core_spec.rb100644001.14 KB6eee3048801cba23a0dfba6ee1ed1b4b8df68b140a27ebfc64c5bc3bc58e3a88
spec/core/duck_fiber_spec.rb100644001.32 KB4dabd4baa1213ceeb1aa19dc635f4c99b003790aa68ec43ed2012835bfea50af
spec/core/fail_spec.rb100644001.12 KBf0d390dd598884d549666c4f07f9739a05e445d7c738548fe5708f5487a97d9e
spec/core/goal_spec.rb100644002.11 KBdf3bf2907684639389b308212bd58eaa6fb54399545decdf84257840d65e5460
spec/core/log_var_ref_spec.rb100644003.2 KBc8791e9d465d50ee43f8dc821cc59692f42a0b9024ed160e984d5b3638ebdef8
spec/core/log_var_spec.rb100644001.85 KBc9677cdab1fe27458239dcaf2e67b0c1be2c6365dcc7fbbbc29c31741d18e10e
spec/core/nullary_relation_spec.rb10064400810 Bytes0305bdad99c5dd898fe4db35978c77571cf82eb7fa72738554543755d77ee146
spec/core/parametrized_tem_spec.rb100644001.25 KBe9de7984bc56fdf87316ef2390ef62b428cd84f2b17b6637a6925578205f49f6
spec/core/relation_spec.rb10064400875 Bytesd187f1b587b9aa5ae36663a0f59df0992e96243a384b6be8562b47915d767cf9
spec/core/scope_spec.rb100644002.2 KB415efd1294ee9218de64e2cca2f67b3952bcb411fbe0ed407583ac82c4f2b007
spec/core/solver_adapter_spec.rb100644001.74 KB701e7ef090daa8c5195c24bc6246f9338ad732b5c562a31029448278640a0308
spec/core/specification_spec.rb100644001.23 KB0dafc56ee21becd2f712d931ee45826f23e7b4c93d5da6ac4ac180364bed6751
spec/core/succeed_spec.rb100644001.18 KB3a650bb3097b18e57d716590ca429ef58786a88bdbc6ef9a48704e1374f23654
spec/core/symbol_table_spec.rb100644005.24 KBd538321f88d5e5dab2331366be3f8ec6e21eba36cf423da105bdc6745c4fd1de
spec/glue/dsl_chap1_spec.rb1006440020.8 KB7f566f4b9aea5f2cac6663da84c609c275d7390d8f533a81ef7e01ff7d8dc7a8
spec/glue/dsl_chap2_spec.rb100644007.04 KB4a2b544f7d0b167ab9505ed79ef04739491d7726d643dc82300fec7ab09f3247
spec/glue/run_star_expression_spec.rb100644006.02 KB2ee030d37cf6e44c79c1fbc1fd798edc49fef5f59c4d4bb30c287ab1d0f61308
spec/mini_kraken_spec.rb10064400195 Bytes14f46ef795fb18de0b2348b4fd6f8a504f1a04ff561b65ef4751dc16e21cf707
spec/rela/conde_spec.rb100644005.39 KBb4c3cbfc1f1344139a41a4b0953a02699fa09a2a99058123673592b96b647428
spec/rela/conj2_spec.rb100644004.16 KBc1de24768aa0263af550ddd724a3a993a10b77d2860740f0775e2295ad13a2e9
spec/rela/def_relation_spec.rb100644004.15 KB30bf0d296faaaf8e71f5f276df33685080510eec26a482aef4cf93954715f5de
spec/rela/disj2_spec.rb100644003.87 KB4c9fd05c5f145f24ff0ed9da5de31061baa75724364204bdaef627f8553196bb
spec/rela/fresh_spec.rb100644005.35 KB34d839460b9e7126ce67758718d6a52ba2268324b9b43c43eb8c5bbe4fd3ccd3
spec/rela/unify_spec.rb1006440011.9 KBfeeca10874b1d6324607210f172935f81f6aeb93be4b745ac16b60b5371013c4
spec/spec_helper.rb10064400401 Bytes869859a238e38cea407134664713bcb7d27760ffcd2429aa82c019521b9e0a83
spec/support/factory_atomic.rb10064400780 Bytesc4953c26eb461c01ada980a4662fe96b43ec149686d6238005788f66e307fff1
spec/support/factory_composite.rb10064400569 Bytes39e45a0bf0bf594921c10217979d6171622a58e2104d487caf874839b5ee1889
spec/support/factory_methods.rb100644002.19 KB16a87362665b178cc96bd2415ad0e0fc0cf17fe7a940da0191aa35791b63f4b4