ravensat-1.0.8

https://rubygems.org

ravensat

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 1526033

number: 1.0.8

platform: ruby

spec_sha256: d4320cec1af2ea573cc44861489ee9282795d07de932f6ed8ea33e0845ab1468

sha256: 82d332cfea70ef3a69baf966ddfad61db6958a52ab9170f4b5ba1bc16a3023e0

created_at: 2024-05-13 08:36:28 UTC

updated_at: 2024-06-15 02:59:02 UTC

position: 3

version_data_entries_count: 70

uploaded_at: 2022-08-23 05:06:43 UTC

indexed: true

has_extensions: false

extensions: []

Gem size: 80.5 KB

Version Data Entries

Total: 70

Unpacked size: 412 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
lib/ravensat/ast/var_node.rb10064400328 Bytesd7fa86473bb7beab9b8bb313c2c0f5170ccef272897319b5020e283ae840dfe3
lib/ravensat/claw.rb100644001.67 KBb1e12db77af284dda8dac12f63440f4376936279c3ff47cfa2d80215c617e048
lib/ravensat/dimacs.rb10064400172 Bytese141975ff199f13c448265fb99199bb6685c920392ca80969f06909bee3b062e
lib/ravensat/dimacs/dimacs_decoder.rb10064400362 Bytes86d104eb25c69fd01c53576fc934b82b6174e9f6a21aee5b96f6a17049a44d72
lib/ravensat/dimacs/dimacs_encoder.rb10064400597 Bytes94f1e4bbfe050b7a9a236726fc4e7511b30b41918366f60d03b95c081ebb4bcd
lib/ravensat/extension.rb10064400419 Bytese1d50a72eddbb84a5382b60b5870b2c25128cf551bb7fc7f718b8b759d915840
lib/ravensat/extension/domain.rb10064400642 Bytes9ce5489cc55aa915c75f1cf9ed344ab56ada29105d805b1f6570a342f9769537
lib/ravensat/extension/variable/boolean_variable.rb10064400429 Bytes34763c7a6b95c13cef32964614ebeb4c12b9af92337b148fb08eb76c5f74ecb2
lib/ravensat/extension/variable/integer_variable.rb100644001.76 KB8702687d1563aa9a472a3e3883fa90f0001eb46c6aa66f5bc9fbe03cdedb9ddf
.github/workflows/main.yml10064400348 Bytesef9153056be41c86012034bfa74446b4bb3543089221129eb3147b316099dafb
.gitignore10064400148 Bytes1d1ffc36db151c85161b4c1416299d0529ec22d6ed27e59e0395cdd214ff4f6c
.rspec1006440053 Bytes06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59
.ruby-version100644006 Bytes2985be8b28d3ade858e8d8fb4bc22f565b1bf6020dff982dce141f7721b9999c
Gemfile10064400198 Bytes905f3db15212b0a0ea444efc10ff86979b95e18af8ea47c3b73739019c72e534
LICENSE.txt100644001.06 KB83e206c9b45b3e9a0d0c8a18693d4c7e7b71f81ca574e58b15e76b76a47eb15e
README.md100644005.25 KBa565b68eb861730dcdc5574bb8c842b390702e46e1e743cbe77e13a510c8c5d0
Rakefile10064400145 Bytes572c94da7052083b39b62a6600785419e314a109efd7a3d8c3a96eb77ad34fd1
bin/console10075500373 Bytesd38a6c27d92281d58c6d75896f9f8ff31ef1de8c5e2797524a1d3e6b515d7880
bin/setup10075500131 Bytese201190bc24e9f00849b3efa5fbaece2cbf069703232e50c7fa15d41c47f2ead
docs/Arcteryx.html1006440011.2 KB3f790295ba8f79cffe4de1573039c71ae9bdefc10c3ba3d23fc448b5e407863e
docs/Arcteryx/CNF.html1006440025.8 KB1a0aaed4b0b4777cc752318bd452c564f987c69d9bc5630c0c2019001179dd9e
docs/Ravensat.html100644004.52 KBa8ca9859c5f8b41013b840637d5ceb2b70c9e177308c03c90fb194d9d2a2ce58
docs/Ravensat/AndNode.html100644004.97 KBc6a155eb496357861b5d4b251f064ca4e175f40e6f913a4587246bf7efcd8f29
docs/Ravensat/Claw.html100644008.91 KB8c418f47106896ff92bac06bb873332570bf35ef4a53c4fd2f74feeeb62d9e64
docs/Ravensat/DimacsDecoder.html100644006.86 KB850f20787d0547352bca0199664358706f2f19f4732a81d81a5f5e74c0cec9d9
docs/Ravensat/DimacsEncoder.html1006440012.3 KBb677ae9dc71ee24963600cf4201c33fd47767fd400dd24d838bcc851a2b77680
docs/Ravensat/Extension.html100644004.41 KBa1549f2d2248775130e13477322e78b78cb1fa52dda34a913d8d80bf7967fb67
docs/Ravensat/Extension/BooleanVariable.html100644005.92 KBadb7c9a5c8e3ebcae65dd875c9eb822b292b77763cfc6669a28be8adc759e233
docs/Ravensat/Extension/Domain.html1006440011 KB12091ec6a40f1b9e011236f6eb55b2f266b0c9b192f2e60a7d551363b277e93f
docs/Ravensat/Extension/IntegerVariable.html1006440022.7 KB72b20f8917cc08168e02efb6cc6b09a5b480cece5acf8a7e5a05ac1fd3a9272c
docs/Ravensat/Extension/UndefinedVariable.html100644005.51 KB73ef05842970e2bf03c854b8510b5c26f3f03c6fd03a1b4aa0becc36e5e5eaea
docs/Ravensat/Extension/Variable.html100644008.82 KBc7f19e216a4b29ea8b66ab252745ea808ad8200b59ac1e24048c9aac17c72e0f
docs/Ravensat/InitialNode.html100644006.46 KB49a4ab8825683537963eae5ed7247af9fa5fd59aa2131f415b46767effc8bd9d
docs/Ravensat/Node.html1006440019.4 KBd1bc813fb7856e178609a042da3173e7da0d0955e6be845d4f46b10143977e00
docs/Ravensat/NotNode.html100644004.97 KBe174d6b3de1d145a782a01c50d817a17eadaf7cfcae1b6c537ab3c24ffb2224c
docs/Ravensat/OprNode.html100644006.09 KB1b96cab237b9e18b02fd69823a0232be39163fc56ac5d1202f23e81a59946963
docs/Ravensat/OrNode.html100644007.21 KBe5e3a39753342940e64d9f87446a1f59cf5336b5c4ef8b1540d447bdfa884060
docs/Ravensat/Solver.html1006440011.7 KBe47ee93eff360c945230c43aa3b4cc99efce17de28ac85a29a85be8b27a8fb94
docs/Ravensat/VarNode.html1006440010.1 KB7104e2e4dd4171e3f1033cbbb2586b769b3b4bbb07493f275e427d836312fe6c
docs/_index.html100644008.83 KBd3be34d0e01491cca1823eef287fa867d1eec282150ce6fe2253915069940d24
docs/class_list.html100644007.17 KB6517f9be01207159e62a1593079e29f3941a0872005e2fdde7c344d2e87c8055
docs/css/common.css1006440042 Bytes6c873bfb803e287ab497d61c7209eacb24c3b09e1542051146788fbe9b85c8a8
docs/css/full_list.css100644005.5 KB2986b912df079f954a6254739591e22c1d88fd06e64a75accb4b37b0d55e5733
docs/css/style.css1006440020.4 KBc139d702b88a9592c8665da2bf7411864cc1962c8bb186e61dcebb3cfe60b834
docs/file.README.html100644009.19 KB53df4cb1468073607313e559357affbedd31d4cc6a146ee899f7d6bf331bda72
docs/file_list.html100644001.41 KB94e6230f30e44f5255c0241b6359ef6e722b17778487dd2a4eee1901e077dd53
docs/frames.html10064400437 Bytes0ca6b044086afb556bc375e0bdecc5cef5f668dd1255046668badbe34fdc1198
docs/index.html100644009.19 KB4affcb26714426ef2cda8bce84039210317ef5caf2091849cf8b50fcd08b711b
docs/js/app.js100644009.38 KBbabd4fbe6e23621082936fd26a4f6cabcae09095fe2ef263661f3f8d776c57d5
docs/js/full_list.js100644005.61 KBd7f5fb11e6134feef7ef53b2f9084d72ac34f75c2374bf559e328efbeaed6946
docs/js/jquery.js1006440091.7 KB88171413fc76dda23ab32baa17b11e4fff89141c633ece737852445f1ba6c1bd
docs/method_list.html1006440016.6 KB6161ce04848d33bcaca1ffc427ca802f5f977c5c27f4bfa03348b6bafd81746c
docs/top-level-namespace.html100644002.01 KB7ea66d3ebfff3cbadcaef519bb7b0e21625127dc6d754afd780e8b39857be245
example/magic_square_3x3.rb100644001.66 KB5f4f4fcb15197600e412fe3c26562a4bf55b4e9bb33ed5411f2eaaab385bd4c8
exe/ravensat10064400141 Bytes5db15d31971d242061814b1d93e2089f0f4320918d560d7d0ff7185a38980412
lib/arcteryx/arcteryx.rb10064400861 Bytesde9a3503b7798dabc9ee1055c262eb1c4eba2b5d62e0bf75fa5a019cc4b9bedc
lib/arcteryx/cnf.rb100644001.7 KB84cd92781f19e2d705609750b7ef494969575eb8f9665218683320bb23f820d1
lib/ravensat.rb10064400505 Bytes2819d65d954c0f659ebe1378ab7d09ff40cc10db0243e4872c2857c07aec1b15
lib/ravensat/ast.rb10064400354 Bytes25d118ae3ec571dea375b2134baacc383427d7bf6bf24022577ba78809aa8bfc
lib/ravensat/ast/and_node.rb10064400266 Bytes8147344593aec7cd97c48661ec50d0b99d6b13ccfad84b5ccce3aaf7e0baacf4
lib/ravensat/ast/initial_node.rb10064400346 Bytes8138c1c81ed302ca9232b14b5d1dbb1217d685d4bd1c8535d0e8a07059040114
lib/ravensat/ast/node.rb100644002.4 KB180ccb60c83ddd4e7d3eba324804d8c7059114745fd6154a39f894ba96b501c1
lib/ravensat/ast/not_node.rb10064400130 Bytes08dfa8d5ea5ca8b57b044a832867a5bfa0124cec76e83c1e0b71cf460122cda7
lib/ravensat/ast/opr_node.rb10064400108 Bytesd81704ccd7495fe2282b1d96e8d4c2ecb7f5f10f1d657ba548511e01cc09f30a
lib/ravensat/ast/or_node.rb10064400387 Bytes83061bfefa0a744a8176b0fc29d8591ca388070aa9812eb285b77b731385159d
lib/ravensat/extension/variable/undefined_variable.rb10064400138 Bytes386412cab1fbebe5227518de4426891bf4e0fb68f122beaeefe85b8f15299a57
lib/ravensat/extension/variable/variable.rb10064400235 Bytes1532db3533c9655f0a6a4b62508b3cf516850a6d92e262b98b775ad1e5d7f6e7
lib/ravensat/solver.rb10064400842 Bytes7fcc4ba69a5b157cc177689a5457714776de20ef864664b3a87079263552a17c
lib/ravensat/version.rb1006440071 Bytesb1148016577bf8eea2a10cf3c1759ed46c6e73f6a73adf730ea507e0aba8a7b0
ravensat.gemspec100644001.53 KBfdf2758ebd2ec412b624c9dbf6ade25ec2c8ceebc01a528a1bbfca9614e24e8f