catlogic-0.0.1

https://rubygems.org

catlogic

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 759074

number: 0.0.1

platform: ruby

spec_sha256: fa831be071b65010fab994d7bb5bbe15565a260872ea79ac8be458f852008da2

sha256: 89529a311fd04ad180b42a0fc912f3ca7a4fc101b9811c5078fd7db934af014d

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

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

position: 4

version_data_entries_count: 54

uploaded_at: 2015-01-02 01:02:40 UTC

indexed: true

has_extensions:

extensions:

Gem size: 19.5 KB

Version Data Entries

Total: 54

Unpacked size: 68.2 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10064400118 Bytese2921b47434fee642cc41a4a607890fc7b9f5dd78542e6d01233058d17191910
.rspec1006440030 Bytese3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b
.ruby-gemset100644009 Bytesba7586beaac69612da85d1bde6dcb2c52d6b0d78ee8c1c7bd0fe7b5f5cb44a45
.ruby-version1006440011 Bytesdf5eea17d4de9ecaa61fe82d2d6f8664f2b6aa006420081b12ce04fea3053174
Gemfile1006440093 Bytes7e226381a6c8033c7f632a25962ac530f0ddba5931dd126976dfe4bad612639f
LICENSE.txt100644001.05 KBfc70389319a12beaa7b99ce534aaa6f5ad910e7850c40e9e0ef7f1f071ab2111
README.md10064400781 Bytesacc65a167936ea80e06166962f9584b8431ef80ef2a9230d91381a8ca83fc8b9
Rakefile10064400130 Bytes09cc6dafcbbafbf01bafa19124f2a8254615990101f0e55d7643434d1d2dd25b
bin2/.idea/.name100644003 Bytes51a1f05af85e342e3c849b47d387086476282d5f50dc240c19216d6edfb1eb5a
bin2/.idea/bin.iml10064400284 Bytes4bce527358048c7c1e2bad5bc0d5610f3b8e6ad2cd022e2bee972a3e95a3596c
bin2/.idea/encodings.xml10064400166 Bytes0234e0fa9139efc865c3e6b2099a91944493dd7867b5e883ae5e10511cc239e9
bin2/.idea/misc.xml10064400195 Bytesae8f231b177e718cde6ed94aacc0f65f15fd052a29ad71b1bc339430776bf8e9
bin2/.idea/modules.xml10064400260 Bytes1b22c324ed77807acdfb0da1cc887d98d2782db7fd33c44f7b2e30d98ead646f
bin2/.idea/scopes/scope_settings.xml10064400139 Bytesc1818c37eb63a10bcd7c575502aff53cdbff43df30419ccd9c4f6bf7792af4d0
bin2/.idea/vcs.xml10064400166 Bytes3a66f97c1066f54fd5a87d7479cad20846e0b65727b62184c9d75a46e4a4c6d9
bin2/.idea/workspace.xml100644007.5 KB8f4da7267924f77c248301ebcd440db58f70f8bcc7c1fd654e2656002ea6109e
bin2/displayInferredTruths.rb100755001.69 KB8c4328c56bb8b596a490a4f633c65b838b16627809c527bc651ba74e1f20f036
bin2/getAllValidPropositions.rb10075500484 Bytesc18598678fad8a6ceb8fce2becad4b40275117eb8c5048fbb740ee1d65f12241
bin2/testCombineSets.rb100755001.28 KB9b51da6ac0dac19851eadf3aed9ea0993012c0b36e9183b7a14923206f578879
bin2/testIfUnique.rb10075500683 Bytes21ce26f2776f0ee6b51c0ebc38f8ddbeeead8b9654df2e8fb20338b6b148f275
bin2/testPremisePair.rb10075500299 Bytes79f2c83273c1c43a8ed18d6442a7d1600c5e79eb3e8d2abdbc0b132e3091fbb4
bin2/testProposition.rb100755001.72 KB6cd23935a7d4f4de6a1d2715b60f55b02f0d19313eec72eae8027df30e28e6d0
bin2/testPropositionType.rb100755001.41 KB0b45d7ad3f47bb88821462acc7e5eaf3da4df665d0392177b81ce85b7bc5015b
bin2/testQuantity.rb10075500169 Bytes1e2501cb122214a14389159e50e7784da2b3182dbae8c24a8f3e748ff3e4c6c7
bin2/testReduceToUniqueSet.rb10075500695 Bytesb26f5c7b888625338bb3191de8ada05dc552690f67671af5c750f1a23b8461f6
bin2/testSyllogism.rb100755001.44 KB795da04a2380c375f2089ecb1f75be437f0dcca117702fe52d99d7cbb3b7c15b
bin2/testSyllogismForm.rb100755001.08 KB7ef0737307320671a98621df4baf3002ec7a116bfc8a1469fcd59104297765f4
catlogic.gemspec10064400990 Bytes121d5153a8640ac264f6c6197ee3fab758a40f69c6ce032c6ca5fcd32c0fbe74
lib/catlogic.rb10064400441 Bytesc342dabe2473b63bcf5b331ba9bbe1eb966984a31def4b55cffe6b3cd43fcb3a
lib/catlogic/distribution.rb10064400333 Bytes050b969e90ade41285717254139178521b64ecfd30401399742f87a0894d457a
lib/catlogic/figure.rb10064400847 Bytes0250b9d204f28a6de4c0de5ff7934955e18aa93ea34cf3d285b0d37898557343
lib/catlogic/form.rb10064400835 Bytesb614d5caecb57a565e94b7561db9885b870445a8c494c7611b497c2ea779f503
lib/catlogic/mood.rb10064400349 Bytes7e4b001403cf1b76f9742e5b7df24bb1bc4c0b8424f1dca60de2718fc3b4131a
lib/catlogic/premise_collection.rb100644005.09 KBeb65b13055db76d705879c0b0d1f0249944fef494a4a97d7d70bb883c7729883
lib/catlogic/premise_pair.rb100644001.59 KB7044467bdbba183f66abb0483ad64dd7f023a466e9109387f50d55db679572c6
lib/catlogic/proposition.rb100644004.65 KBaefb3b0bcf8b58e2023fe2b1bacaa191a83144fc1f0f98a2449ccad6f52c4754
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 Bytes3a7c5caf4403042db5d62d2d3b9153bbd11d976672404d5c9fc58d88bdeaf6c9
spec/distribution_spec.rb10064400659 Bytesf36052152ff6cdf1eaf2d4a27afab7d0a79e6b6cd775f89fed41cd3dbd2ef651
spec/figure_spec.rb10064400766 Bytes0ba272e173fcc6c55867a3eb1a89f7cb2cd3d6415ba3915addfc7300e2035139
spec/form_spec.rb10064400628 Bytesfa84fcbb12ecbf5f0fb942754c49ee2faf019fb80daa78bfa226d5e959f63499
spec/mood_spec.rb10064400424 Bytesf073bf27ca630a63f49c817c8b1de79f482fd68d3a0b17595bfecdecc05b5a96
spec/premise_pair_spec.rb100644001.69 KBc0ab0701940d1340c3f213499638922371384a8d0ed36c005f8c682567e811f4
spec/proposition_spec.rb100644009 KBed263ab212c5a66a834df0ae0d0473d51d788cc71c2e15292b9ec2e62f7469b3
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