ravensat-0.3.1

https://rubygems.org

ravensat

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 1526023

number: 0.3.1

platform: ruby

spec_sha256: 28ec7eff44fa54d07fd77af1c4082a0070c3b6fb62eefae256974d36f5d627e0

sha256: 8f5451ae96dee4646f46e9db822b8036866adffb857736d35adee5fb362c93a7

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

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

position: 13

version_data_entries_count: 37

uploaded_at: 2022-05-24 03:45:11 UTC

indexed: true

has_extensions: false

extensions: []

Gem size: 12.5 KB

Version Data Entries

Total: 37

Unpacked size: 22.7 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.github/workflows/main.yml10064400348 Bytesef9153056be41c86012034bfa74446b4bb3543089221129eb3147b316099dafb
.gitignore10064400148 Bytes1d1ffc36db151c85161b4c1416299d0529ec22d6ed27e59e0395cdd214ff4f6c
.rspec1006440053 Bytes06245e25d7cf46b4fbde27b5faa0df0d4110e11918eeb5848de4ab2aff897b59
.ruby-version100644006 Bytes2985be8b28d3ade858e8d8fb4bc22f565b1bf6020dff982dce141f7721b9999c
Gemfile10064400198 Bytes905f3db15212b0a0ea444efc10ff86979b95e18af8ea47c3b73739019c72e534
Gemfile.lock10064400847 Bytese80f4336441ba3ca34f7067b6477242395612df75ba49f7bb7ce8cb2b926980e
LICENSE.txt100644001.06 KB83e206c9b45b3e9a0d0c8a18693d4c7e7b71f81ca574e58b15e76b76a47eb15e
README.md100644004.76 KBb54bca3ba0aa27db5bf857babf33642bb8099c265557edc7616f765086834282
Rakefile10064400145 Bytes572c94da7052083b39b62a6600785419e314a109efd7a3d8c3a96eb77ad34fd1
bin/console10075500373 Bytesd38a6c27d92281d58c6d75896f9f8ff31ef1de8c5e2797524a1d3e6b515d7880
bin/setup10075500131 Bytese201190bc24e9f00849b3efa5fbaece2cbf069703232e50c7fa15d41c47f2ead
example/magic_square_3x3.rb100644001.66 KB5f4f4fcb15197600e412fe3c26562a4bf55b4e9bb33ed5411f2eaaab385bd4c8
exe/ravensat10064400141 Bytes5db15d31971d242061814b1d93e2089f0f4320918d560d7d0ff7185a38980412
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.rb100644001022 Bytesda87f4bc12b6c253c1748396eb6951a144c17ac9afc4ff61911057bc4a96c007
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.rb10064400249 Bytes9defe6a13be5c4a5c0587033aa83f0023aa1e3e4bfeeaff041d93a0c19894906
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.rb10064400642 Bytes9ce5489cc55aa915c75f1cf9ed344ab56ada29105d805b1f6570a342f9769537
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.rb10064400758 Bytes9dddf7bae8477217ec3903d2d335703161946214371036a5f57f55e61f5e2f19
lib/ravensat/version.rb1006440071 Bytescd7dbeca2681916e2e51338bdac975241ff8bc3c003ab3ca568df4fc6b702cb5
ravensat.gemspec100644001.53 KBfdf2758ebd2ec412b624c9dbf6ade25ec2c8ceebc01a528a1bbfca9614e24e8f