Add BOB reasoning engine: Metatron JS, APL, Lean4 theorems, Rust meta_resonance, universal-corpus, knowledge-chunks
ffd375a verified | # This file is automatically @generated by Cargo. | |
| # It is not intended for manual editing. | |
| version = 4 | |
| [[package]] | |
| name = "block-buffer" | |
| version = "0.10.4" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71" | |
| dependencies = [ | |
| "generic-array", | |
| ] | |
| [[package]] | |
| name = "cfg-if" | |
| version = "1.0.4" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801" | |
| [[package]] | |
| name = "cpufeatures" | |
| version = "0.2.17" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280" | |
| dependencies = [ | |
| "libc", | |
| ] | |
| [[package]] | |
| name = "crypto-common" | |
| version = "0.1.7" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "78c8292055d1c1df0cce5d180393dc8cce0abec0a7102adb6c7b1eef6016d60a" | |
| dependencies = [ | |
| "generic-array", | |
| "typenum", | |
| ] | |
| [[package]] | |
| name = "digest" | |
| version = "0.10.7" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292" | |
| dependencies = [ | |
| "block-buffer", | |
| "crypto-common", | |
| ] | |
| [[package]] | |
| name = "generic-array" | |
| version = "0.14.7" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a" | |
| dependencies = [ | |
| "typenum", | |
| "version_check", | |
| ] | |
| [[package]] | |
| name = "hex" | |
| version = "0.4.3" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70" | |
| [[package]] | |
| name = "libc" | |
| version = "0.2.186" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66" | |
| [[package]] | |
| name = "metatron-solver" | |
| version = "0.1.0" | |
| dependencies = [ | |
| "hex", | |
| "resonance", | |
| "sha2", | |
| ] | |
| [[package]] | |
| name = "resonance" | |
| version = "0.1.0" | |
| dependencies = [ | |
| "hex", | |
| "sha2", | |
| ] | |
| [[package]] | |
| name = "sha2" | |
| version = "0.10.9" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283" | |
| dependencies = [ | |
| "cfg-if", | |
| "cpufeatures", | |
| "digest", | |
| ] | |
| [[package]] | |
| name = "typenum" | |
| version = "1.20.1" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20" | |
| [[package]] | |
| name = "version_check" | |
| version = "0.9.5" | |
| source = "registry+https://github.com/rust-lang/crates.io-index" | |
| checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" | |