logicaffeine-cli 0.10.0

# 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"
rust-version = "1.75"
name = "logicaffeine-cli"
version = "0.10.0"
authors = ["Tristen Harr <tristen@brahmastra-labs.com>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "largo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects"
homepage = "https://logicaffeine.com"
readme = "README.md"
keywords = [
    "logic",
    "proof-assistant",
    "theorem-prover",
    "first-order-logic",
    "formal-methods",
]
categories = [
    "mathematics",
    "compilers",
    "science",
]
license = "BUSL-1.1"
repository = "https://github.com/Brahmastra-Labs/logicaffeine"

[features]
default = []
verification = ["dep:logicaffeine-verify"]
verification-static = [
    "verification",
    "logicaffeine-verify/static-link-z3",
]

[lib]
name = "logicaffeine_cli"
path = "src/lib.rs"

[[bin]]
name = "largo"
path = "src/main.rs"

[[test]]
name = "build_passthrough"
path = "tests/build_passthrough.rs"

[[test]]
name = "clean"
path = "tests/clean.rs"

[[test]]
name = "completions"
path = "tests/completions.rs"

[[test]]
name = "deps"
path = "tests/deps.rs"

[[test]]
name = "doc"
path = "tests/doc.rs"

[[test]]
name = "doctor"
path = "tests/doctor.rs"

[[test]]
name = "emit"
path = "tests/emit.rs"

[[test]]
name = "emit_wasm"
path = "tests/emit_wasm.rs"

[[test]]
name = "fmt"
path = "tests/fmt.rs"

[[test]]
name = "logic"
path = "tests/logic.rs"

[[test]]
name = "project"
path = "tests/project.rs"

[[test]]
name = "prove"
path = "tests/prove.rs"

[[test]]
name = "repl"
path = "tests/repl.rs"

[[test]]
name = "sat"
path = "tests/sat.rs"

[[test]]
name = "ux"
path = "tests/ux.rs"

[dependencies.anstream]
version = "0.6"

[dependencies.anstyle]
version = "1"

[dependencies.clap]
version = "4.4"
features = ["derive"]

[dependencies.clap_complete]
version = "4.4"

[dependencies.dirs]
version = "5.0"

[dependencies.flate2]
version = "1.0"

[dependencies.futures]
version = "0.3"

[dependencies.logicaffeine-base]
version = "0.10.0"

[dependencies.logicaffeine-compile]
version = "0.10.0"
features = ["wasm-jit"]

[dependencies.logicaffeine-kernel]
version = "0.10.0"

[dependencies.logicaffeine-language]
version = "0.10.0"

[dependencies.logicaffeine-proof]
version = "0.10.0"

[dependencies.logicaffeine-verify]
version = "0.10.0"
optional = true

[dependencies.rand]
version = "0.8"

[dependencies.rustyline]
version = "15"

[dependencies.serde]
version = "1.0"
features = ["derive"]

[dependencies.serde_json]
version = "1.0"

[dependencies.tar]
version = "0.4"

[dependencies.toml]
version = "0.8"

[dependencies.toml_edit]
version = "0.22"

[dependencies.ureq]
version = "2.9"
features = ["json"]

[dev-dependencies.tempfile]
version = "3"

[target.'cfg(all(target_arch = "x86_64", not(target_os = "windows")))'.dependencies.logicaffeine-jit]
version = "0.10.0"