catlogic-0.0.2

https://rubygems.org

catlogic

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 759075

number: 0.0.2

platform: ruby

spec_sha256: 7c10818928c3c580f550ed723129eb60c296ea24bd0d32ba3cb60f90af5c37d2

sha256: 8d4224a2c9a1937b7876fc938cfdd7013431579d7a08732089b61f39de49b285

created_at: 2024-05-13 08:25:20 UTC

updated_at: 2024-06-10 11:23:42 UTC

position: 3

version_data_entries_count: 55

uploaded_at: 2015-01-02 04:00:50 UTC

indexed: true

has_extensions:

extensions:

Gem size: 20 KB

Version Data Entries

Total: 55

Unpacked size: 73.9 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10064400126 Bytes447d5e85fcf0c6483d74dbabce91610b4004afd324a46219826be4d5e2ff5892
.rspec1006440030 Bytese3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b
.ruby-gemset100644009 Bytesba7586beaac69612da85d1bde6dcb2c52d6b0d78ee8c1c7bd0fe7b5f5cb44a45
.ruby-version1006440011 Bytesdf5eea17d4de9ecaa61fe82d2d6f8664f2b6aa006420081b12ce04fea3053174
Gemfile1006440093 Bytes7e226381a6c8033c7f632a25962ac530f0ddba5931dd126976dfe4bad612639f
LICENSE.txt100644001.05 KBfc70389319a12beaa7b99ce534aaa6f5ad910e7850c40e9e0ef7f1f071ab2111
README.md10064400781 Bytesacc65a167936ea80e06166962f9584b8431ef80ef2a9230d91381a8ca83fc8b9
Rakefile10064400130 Bytes09cc6dafcbbafbf01bafa19124f2a8254615990101f0e55d7643434d1d2dd25b
catlogic.gemspec10064400990 Bytes121d5153a8640ac264f6c6197ee3fab758a40f69c6ce032c6ca5fcd32c0fbe74
lib/catlogic.rb10064400441 Bytesc342dabe2473b63bcf5b331ba9bbe1eb966984a31def4b55cffe6b3cd43fcb3a
lib/catlogic/distribution.rb10064400333 Bytes050b969e90ade41285717254139178521b64ecfd30401399742f87a0894d457a
lib/catlogic/figure.rb10064400847 Bytes0250b9d204f28a6de4c0de5ff7934955e18aa93ea34cf3d285b0d37898557343
lib/catlogic/form.rb100644002.43 KB09e7c45ce427acab69a35b2eede997bfb5e2ea3c6befa3e6415a8be79e4ecbc6
lib/catlogic/mood.rb10064400349 Bytes7e4b001403cf1b76f9742e5b7df24bb1bc4c0b8424f1dca60de2718fc3b4131a
lib/catlogic/premise_collection.rb10064400818 Bytes381da2da5bdfad3bea434b8aedbe717f8947022a1a8ab553f08b53b9809a26e2
lib/catlogic/premise_pair.rb100644001.59 KB7044467bdbba183f66abb0483ad64dd7f023a466e9109387f50d55db679572c6
lib/catlogic/proposition.rb100644004.75 KB4584d2efabace7ad9bcbf9534218e43853b10f9970f94293fda111ee12e53030
lib/catlogic/proposition_type.rb100644001.08 KB0a83a1a4858d8416160932bb4e99119ddf3cdb67176b18ff2f2536e2e547cd13
lib/catlogic/quality.rb10064400318 Bytes31a50123a1460daf42a99d024b5828140a202d17ebf3b2828a6ac66de8f5d727
lib/catlogic/quantity.rb10064400326 Bytesd5fd69ff3a72f3a3f1a1f2a1eb1e75309092a598c6e539c2f43e42cae6a57e08
lib/catlogic/syllogism.rb100644004.45 KBf203ffaf5646f8350bf216eabec53e04a9af4776b5ad543a74cfb11631ec650d
lib/catlogic/term.rb10064400718 Bytes268b56d4298f6b9f31d9c1e9ed3d8c76ae034342086e349634715d3777f39bb9
lib/catlogic/version.rb1006440040 Bytesd96f939d8b9c0d300d5d64bd8a1ea500d47422c69f0a0b4cae855480481be5fc
scripts/.idea/.name100644003 Bytes51a1f05af85e342e3c849b47d387086476282d5f50dc240c19216d6edfb1eb5a
scripts/.idea/bin.iml10064400284 Bytes4bce527358048c7c1e2bad5bc0d5610f3b8e6ad2cd022e2bee972a3e95a3596c
scripts/.idea/encodings.xml10064400166 Bytes0234e0fa9139efc865c3e6b2099a91944493dd7867b5e883ae5e10511cc239e9
scripts/.idea/misc.xml10064400195 Bytesae8f231b177e718cde6ed94aacc0f65f15fd052a29ad71b1bc339430776bf8e9
scripts/.idea/modules.xml10064400260 Bytes1b22c324ed77807acdfb0da1cc887d98d2782db7fd33c44f7b2e30d98ead646f
scripts/.idea/scopes/scope_settings.xml10064400139 Bytesc1818c37eb63a10bcd7c575502aff53cdbff43df30419ccd9c4f6bf7792af4d0
scripts/.idea/vcs.xml10064400166 Bytes3a66f97c1066f54fd5a87d7479cad20846e0b65727b62184c9d75a46e4a4c6d9
scripts/.idea/workspace.xml100644007.5 KB8f4da7267924f77c248301ebcd440db58f70f8bcc7c1fd654e2656002ea6109e
scripts/displayInferredTruths.rb100755006.52 KB13ad8116918b89354c4ea20fb650e62d23f86eafa7bc7837c15de9fdea5eee23
scripts/getAllValidPropositions.rb10075500556 Bytes8381e4a82eea9e9cdd7cf6292cdf643aceb9685aaab38557199dafde1ed4c103
scripts/testCombineSets.rb100755001.33 KB46facabdb333f69e81af76921258498ec110dc6afd2754ae5986a09dd195e9dc
scripts/testIfUnique.rb10075500735 Bytes812d07a54d71b9be4067e3ee7b582db81d59aa4ac94ca128e85d94719757bd1a
scripts/testPremisePair.rb10075500353 Bytesd01406424007bc97d5cd98e6fcb7defcc0dcf5777ee9fbc819436bb9a545c04d
scripts/testProposition.rb100755001.68 KB14b1cd8a67a4514d0fd0ce8f03f8f0d705450cad8660b7ff6904c8d9e3da2b5f
scripts/testPropositionType.rb100755001.47 KB43987648304502abd27125912bf93ddce069de57cf160cb3fa9deee2e62ccc33
scripts/testQuantity.rb10075500169 Bytes1e2501cb122214a14389159e50e7784da2b3182dbae8c24a8f3e748ff3e4c6c7
scripts/testReduceToUniqueSet.rb10075500749 Bytes069a6eaf69afb967862bd4fc2712e89063d16ae9b1e885cac7fe61553248ef75
scripts/testSyllogism.rb100755001.49 KB2e2f85775d9668eb70c7f4bd3b20f30b2154fe8552632d7ec0faa2ea814594be
scripts/testSyllogismForm.rb100755001.14 KB1bbde04ac092c3a86e73b31e6beab5e2ecb58e4eb59e7024e372d9133129ac7f
spec/distribution_spec.rb10064400659 Bytesf36052152ff6cdf1eaf2d4a27afab7d0a79e6b6cd775f89fed41cd3dbd2ef651
spec/figure_spec.rb10064400766 Bytes0ba272e173fcc6c55867a3eb1a89f7cb2cd3d6415ba3915addfc7300e2035139
spec/form_spec.rb10064400751 Bytes58986edd87e048c8df136c611616d989362d4b4290e54f3f84b016005b5e8759
spec/mood_spec.rb10064400424 Bytesf073bf27ca630a63f49c817c8b1de79f482fd68d3a0b17595bfecdecc05b5a96
spec/premise_collection_spec.rb100644002.08 KB4630bf0a4d352bcc1f166c1d0a5f1fc94a96ca27c20238ea08de772702664fda
spec/premise_pair_spec.rb100644001.69 KBc0ab0701940d1340c3f213499638922371384a8d0ed36c005f8c682567e811f4
spec/proposition_spec.rb100644009.85 KB390ea1ebe66f1a5f096e46153ae31bdcf0a799a239a831304aa86cdd1d5c5354
spec/proposition_type_spec.rb100644001.07 KB06e56050a66652fb83f6d960e665f46911804e58f7139f2c0004ce07d54572b4
spec/quality_spec.rb10064400407 Bytes3d3c1bf41b19c5048b14d6679aa48be2eebe5fb6f231d474b7011304617833a3
spec/quantity_spec.rb10064400426 Bytes6e3cc3e3eee92ef1bb14b0dc9ce709a52c31cdb0a7b19ceaac8e72206b9c377d
spec/spec_helper.rb100644004.13 KBfe035286f007e34a914121597996206b85b1c4b8ee5aeb259ff2ab9e432e4ccd
spec/syllogism_spec.rb100644004.54 KBf9245d8fb961e30548592ef4ffb07573be362264844b9b0e1b0a54583b0ebbeb
spec/term_spec.rb10064400834 Bytese951a21f14f6b45698ec161273b209af7346be8b2d2d67668471e5f0ba15c2f3