z39-solver 1.0.1

# 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 = "2024"
name = "z39-solver"
version = "1.0.1"
authors = ["Alejandro Quintanar"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety."
readme = "README.md"
keywords = [
    "z3",
    "smt",
    "solver",
    "mcp",
    "ai-agents",
]
categories = [
    "command-line-utilities",
    "development-tools",
]
license = "Apache-2.0"
repository = "https://github.com/alejandroqh/z39"

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

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

[dependencies.anyhow]
version = "1"

[dependencies.chrono]
version = "0.4"
features = ["serde"]

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

[dependencies.dashmap]
version = "6"

[dependencies.dirs]
version = "5"

[dependencies.reqwest]
version = "0.12"
features = ["rustls-tls"]
default-features = false

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

[dependencies.serde_json]
version = "1"

[dependencies.tempfile]
version = "3"

[dependencies.tokio]
version = "1"
features = [
    "rt",
    "rt-multi-thread",
    "macros",
    "process",
    "time",
    "io-std",
    "sync",
]

[dependencies.turbomcp]
version = "3"
features = ["stdio"]

[dependencies.uuid]
version = "1"
features = ["v4"]

[dependencies.zip]
version = "2"
features = ["deflate"]
default-features = false

[profile.release]
lto = true
codegen-units = 1
panic = "abort"
strip = true