# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "hooo" version = "0.6.1" build = false exclude = [ "source/test/*", "hooo-meta_cache.bin", ] autobins = false autoexamples = false autotests = false autobenches = false description = "Propositional logic with exponentials" homepage = "https://github.com/advancedresearch/hooo" readme = "README.md" keywords = [ "advancedresearch", "theorem", "proving", "assistant", "exponentials", ] license = "MIT OR Apache-2.0" repository = "https://github.com/advancedresearch/hooo.git" [lib] name = "hooo" path = "src/lib.rs" [[example]] name = "hooo" path = "examples/hooo.rs" [dependencies.bincode] version = "1.3.3" [dependencies.deflate] version = "1.0.0" [dependencies.inflate] version = "0.4.5" [dependencies.lazy_static] version = "1.4.0" [dependencies.piston_meta] version = "2.0.1" [dependencies.rayon] version = "1.8.0" [dependencies.rustc-hash] version = "1.1.0" [dependencies.serde] version = "1.0" features = ["derive"]