dpll_solver-0.0.1

https://rubygems.org

dpll_solver

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 619830

number: 0.0.1

platform: ruby

spec_sha256: f784c6afe75083ba1e71fc238dd6c565379aaca302d4f19441cad5906d1a44f1

sha256: 0b420a55c62bcfda97b986c1c6528a5d3de19dcb92a7dc30d801961fcc739dfb

created_at: 2024-05-13 08:22:56 UTC

updated_at: 2024-06-09 13:32:46 UTC

position: 0

version_data_entries_count: 38

uploaded_at: 2014-03-11 15:43:23 UTC

indexed: true

has_extensions:

extensions:

Gem size: 14 KB

Version Data Entries

Total: 38

Unpacked size: 46 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
.gitignore10064400160 Bytesbb29a280cb66d2058114433950ce43f7f1648966bf311269aa7e985cada60f57
.rspec1006440026 Bytes6f8fcfc5bfd33096b5db508443f3d8bcd0a1561afceedec438b31bac3edc8571
Gemfile1006440038 Bytes3fd308fbb44b5b39f8b5f6265d93dd2d73023007aef60d3364dd8b2e5a8ce1a1
LICENSE.txt100644001.04 KBb60e813256ff7faddf8ef424f6037c3b4d3fb4eacfc332bc3802b1074bb07011
README.md100644001.75 KBae66ddb9902151878e25cb5b86e074402e0811b545a0d2420217a37df0ae0073
Rakefile10064400181 Bytesd98d9cf435b08bfde267b9f966a4058c07ac3fc931acd8a83dc4afa1a1b38ce7
dpll_solver.gemspec100644001.43 KB12d0d665a32963f23502542aa8ea432ee1e4f7c06b62f35dc175aadbbf5070db
lib/dpll_solver.rb100644003.08 KBd5efabddcad3ba2026c918849f03b6e0f746d46907b13081943d48b0cc4bb849
lib/dpll_solver/atomic_formula.rb10064400509 Bytes0db2bb144ee0d3a3599fda1cff4e121c7fc834a854db0410f54ba1d3ee2b0476
lib/dpll_solver/formulas/and.rb100644001.02 KB35aaba2c3cfcec51921079bc858278706071fd5f90229ff3f433f9b48b9174d2
lib/dpll_solver/formulas/binary_formula.rb10064400448 Bytes2919150d9adda2141c798f42d7d6fd8d79540d4f840414c36bbfe5e734cb6ac5
lib/dpll_solver/formulas/clause.rb10064400970 Bytesf15e2ee438d8f6ccd0d0b49af5ff9047511787d1a653e391c63f2cc5567c06b4
lib/dpll_solver/formulas/falsum.rb10064400234 Bytes1222952e5a299e875d2ad02e41b6c0431bf505361a260bc2d538f2ac3fd0614b
lib/dpll_solver/formulas/literal.rb10064400460 Bytes63273674e3107a3eef5556d89dee4755e38b2a53fc7ac0e54da400abbc8daf49
lib/dpll_solver/formulas/not.rb100644001.65 KBf566ae5d9c7e465fc2ced93eeebe50666efde5f4f4a490811e66568ac653225d
lib/dpll_solver/formulas/or.rb100644001.38 KB79be89df4c51974a3397e0b77cbd2e2ad9f93efd9f1fc90f01c6e87bc0a488b4
lib/dpll_solver/formulas/variable.rb10064400436 Bytes4448c21a8a140b7dda5d91548ed8fa737ece2b238a69addc621929a52c5c75a6
lib/dpll_solver/formulas/verum.rb10064400233 Bytesc5e2c43242fad171a8a30d3a5f959e418a7892f0c36c1e1a170d7528a2602815
lib/dpll_solver/heuristics/most_frequent_literal.rb10064400643 Bytes73b09246f2a3881bbda399de0a06aa581cac48a26fec25bf9deab4f994b6d30f
lib/dpll_solver/parsers/dimacs_parser.rb100644001.2 KB6f6903011b673d39ca3fa6b57850abc88e14b9cacc1545a4cb26d6b19457facc
lib/dpll_solver/parsers/parser.rb100644002.39 KBc8e0be8e6368661f92fcb826d8d52b75632f447ff18c1e9f1d9a77e9b22bd62b
lib/dpll_solver/version.rb1006440042 Bytes59b7d22e7f11cadd7d40ba1f53593366f516f33047075960f1e303a4b92b697b
spec/dpll/dpll_solver_spec.rb100644004.87 KBad71505d72b8008f2295f1473e7832db53a65590c27b523f577622274a3537b7
spec/formulas/and_spec.rb100644002.49 KBde60c546d96f36b0354669b20aacf53a5d47244d6cf950bfda4a9a8fffee4119
spec/formulas/clause_spec.rb100644001.64 KB0f4d22533907e88474ef24585bd48711e3de3e9d27c3f2296bc68326cd5a72cd
spec/formulas/falsum_spec.rb10064400896 Bytesa29d89849c62a0f0207ba7a91cf8bf56fc8079931e450d031a0ef94b60dbb873
spec/formulas/formulas_spec.rb100644002.72 KB65eafef7c79c5407efe633cf21898361529ae043963f215f2b43154550c67857
spec/formulas/literal_spec.rb10064400825 Bytes86f14a3a7e9a1ac2f953d98ccf70c59bbe008cffeb9e15ff7e6c5addc0aeb7b3
spec/formulas/not_spec.rb100644002.73 KB63d459345f06780575407f28f9ca942e0eb403473af63b911acea780ceea24e5
spec/formulas/or_spec.rb100644002.46 KB471b5bfd5b75f19877aabb84177d12d09b8e1d2f66e6a6664709644cdec5b57f
spec/formulas/variable_spec.rb10064400989 Bytes494e92fb0678dbb210591fcac55c97445ea316beee4139a0a4acb08d1f078585
spec/formulas/verum_spec.rb10064400880 Bytesc0d16f805e6f4ae712b52ffd12a77246bfd1825e98c436c90c220ca7534e9bc9
spec/heuristics/most_frequent_literal_spec.rb100644001.14 KB80cd967515d0285ad96a538ea05ac1555ca6605838b5a2b5aafd75abe7cb713c
spec/parsers/dimacs_parser_spec.rb10064400843 Bytesc24d96a1943942e07e6ca19e7ac895e94d7da9b86e1d581839f873add6190a45
spec/parsers/grammar_spec.rb100644001.3 KB2d20053732f9c04af889850c6557a48b645062523e0fb31afe339d7a4f1a7bff
spec/parsers/parser_spec.rb100644001.52 KB95af2dc941ec7d827c355d0ee0385794384a93b596b5abe611179a9ae7b46625
spec/parsers/transformer_spec.rb100644001.48 KB57b24f2d418670956d947609ef8151e491892b0844186f9e601824ceb409d822
spec/spec_helper.rb1006440079 Bytes7d9f3ac9a423f09a9771e26541ba3956705e32ce0ccd26222df38b5180e3db98