ravensat-0.3.0

https://rubygems.org

ravensat

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 1526022

number: 0.3.0

platform: ruby

spec_sha256: 04e0f875939476b062dbb8dfbebf8aa35bb5bb2a058d45f8a4cf36ff31dbbd1c

sha256: 7b52544a5e8edc2cd1010219750ec63ec7b69545cd6967822e3ddc6956b55638

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

updated_at: 2024-06-15 02:58:56 UTC

position: 14

version_data_entries_count: 36

uploaded_at: 2022-05-18 09:03:12 UTC

indexed: true

has_extensions: false

extensions: []

Gem size: 11.5 KB

Version Data Entries

Total: 36

Unpacked size: 19.9 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10064400148 Bytes1d1ffc36db151c85161b4c1416299d0529ec22d6ed27e59e0395cdd214ff4f6c
.rspec1006440053 Bytes06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59
.ruby-version100644006 Bytes2985be8b28d3ade858e8d8fb4bc22f565b1bf6020dff982dce141f7721b9999c
Gemfile10064400198 Bytes905f3db15212b0a0ea444efc10ff86979b95e18af8ea47c3b73739019c72e534
Gemfile.lock10064400847 Bytese80f4336441ba3ca34f7067b6477242395612df75ba49f7bb7ce8cb2b926980e
LICENSE.txt100644001.06 KB83e206c9b45b3e9a0d0c8a18693d4c7e7b71f81ca574e58b15e76b76a47eb15e
README.md100644002.04 KBf35684a7ec55dccf47f2f4af6d4021372b3954fd277ca4f907bfb8d9526e24d4
Rakefile10064400145 Bytes572c94da7052083b39b62a6600785419e314a109efd7a3d8c3a96eb77ad34fd1
bin/console10075500373 Bytesd38a6c27d92281d58c6d75896f9f8ff31ef1de8c5e2797524a1d3e6b515d7880
bin/setup10075500131 Bytese201190bc24e9f00849b3efa5fbaece2cbf069703232e50c7fa15d41c47f2ead
example/magic_square_3x3.rb100644001.66 KB5f4f4fcb15197600e412fe3c26562a4bf55b4e9bb33ed5411f2eaaab385bd4c8
exe/ravensat10064400171 Bytes55772916beea0208b0f7ff28ab79b5f287d0937ebb5d28939eb105082f5f5b75
lib/arcteryx/arcteryx.rb10064400861 Bytesde9a3503b7798dabc9ee1055c262eb1c4eba2b5d62e0bf75fa5a019cc4b9bedc
lib/arcteryx/cnf.rb100644001.7 KB84cd92781f19e2d705609750b7ef494969575eb8f9665218683320bb23f820d1
lib/ravensat.rb10064400515 Bytes27e7f532a919a1326f80c769e29b475237fa2707622ddc635b5cc7b6c48e6668
lib/ravensat/ast.rb10064400354 Bytes25d118ae3ec571dea375b2134baacc383427d7bf6bf24022577ba78809aa8bfc
lib/ravensat/ast/and_node.rb1006440052 Bytes84782198769fea488b5534ffd56e98a2d80353dd38ade6bfe5f303e10ead71b8
lib/ravensat/ast/initial_node.rb10064400132 Bytesa256d951553184f5b9a3e37fefb1c7415f7d6d4526fc1c08c32596e4edc402af
lib/ravensat/ast/node.rb100644001.09 KB3b6a3aacfb8b88bb2a2d49470a9dbe43e89085430da0cb36cc8f7b956380574d
lib/ravensat/ast/not_node.rb1006440052 Bytes86d2e5abb888d9ec1eb8814ab9f393597ba46357009aa3eedfa378b90c074b6e
lib/ravensat/ast/opr_node.rb10064400108 Bytesd81704ccd7495fe2282b1d96e8d4c2ecb7f5f10f1d657ba548511e01cc09f30a
lib/ravensat/ast/or_node.rb10064400175 Bytes41dab6a71b57edbdbdff3bc86b955bf686d089415f68d029ee01df82c59cce6d
lib/ravensat/ast/var_node.rb10064400212 Bytesdde77010ccd67e2e4cac54e14667243dd7c8b8e7a6b716509dbc7a3c6be50434
lib/ravensat/dimacs.rb10064400172 Bytese141975ff199f13c448265fb99199bb6685c920392ca80969f06909bee3b062e
lib/ravensat/dimacs/dimacs_decoder.rb10064400539 Bytes17d64186c43ecf2ce31e2d1e15bcce56014df6a615024d27c99add9520557288
lib/ravensat/dimacs/dimacs_encoder.rb10064400785 Bytes19996c8c181801f07a8085865a4e859e06df54c6fe8a9f5a36ba9832b9e145c4
lib/ravensat/extension.rb10064400419 Bytese1d50a72eddbb84a5382b60b5870b2c25128cf551bb7fc7f718b8b759d915840
lib/ravensat/extension/domain.rb10064400709 Bytes8613e817c2f5cd84545733c52292720d71c4357513a3a0bc7a202f6ec35a0a3a
lib/ravensat/extension/variable/boolean_variable.rb10064400429 Bytes34763c7a6b95c13cef32964614ebeb4c12b9af92337b148fb08eb76c5f74ecb2
lib/ravensat/extension/variable/integer_variable.rb100644001.78 KB4d73745930dc98865990f790e50c435822b2d6a7141ef364962450c257e727ef
lib/ravensat/extension/variable/undefined_variable.rb10064400138 Bytes386412cab1fbebe5227518de4426891bf4e0fb68f122beaeefe85b8f15299a57
lib/ravensat/extension/variable/variable.rb10064400235 Bytes1532db3533c9655f0a6a4b62508b3cf516850a6d92e262b98b775ad1e5d7f6e7
lib/ravensat/ravenclaw.rb10064400382 Bytes7007077f142d5641f7952b36146d983e15c4137ee3b750f96afad12a6e3e2052
lib/ravensat/solver.rb10064400880 Bytes5513f2885161dcb4ca8840faac47247b2dbe69e00dad84677a147cc2c65c54aa
lib/ravensat/version.rb1006440071 Bytes8737418124291cb0e0540f8a4d1df567c671900f85e3ffa90d911b9253eda2a3
ravensat.gemspec100644001.53 KBfdf2758ebd2ec412b624c9dbf6ade25ec2c8ceebc01a528a1bbfca9614e24e8f