symplex 0.3.2

# 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"
rust-version = "1.93.0"
name = "symplex"
version = "0.3.2"
build = false
exclude = [
    "/book",
    "/probes",
    "/scripts",
    "/.github",
    "/fuzz",
    "/symplex-wasm",
    "/*.log",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation"
homepage = "https://github.com/cgorski/symplex"
documentation = "https://docs.rs/symplex"
readme = "README.md"
keywords = [
    "symbolic",
    "math",
    "cas",
    "codegen",
    "robotics",
]
categories = [
    "mathematics",
    "science",
    "development-tools::build-utils",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/cgorski/symplex"

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

[[example]]
name = "c_codegen"
path = "examples/c_codegen.rs"

[[example]]
name = "calculus"
path = "examples/calculus.rs"

[[example]]
name = "certificates_to_lean"
path = "examples/certificates_to_lean.rs"

[[example]]
name = "combinatorics_counting"
path = "examples/combinatorics_counting.rs"

[[example]]
name = "complex_analysis"
path = "examples/complex_analysis.rs"

[[example]]
name = "complex_numbers"
path = "examples/complex_numbers.rs"

[[example]]
name = "control_system"
path = "examples/control_system.rs"

[[example]]
name = "crypto_rsa"
path = "examples/crypto_rsa.rs"

[[example]]
name = "definite_integration"
path = "examples/definite_integration.rs"

[[example]]
name = "dynamics"
path = "examples/dynamics.rs"

[[example]]
name = "equation_solving"
path = "examples/equation_solving.rs"

[[example]]
name = "exact_lp"
path = "examples/exact_lp.rs"

[[example]]
name = "factoring_and_ntheory"
path = "examples/factoring_and_ntheory.rs"

[[example]]
name = "gradient_descent"
path = "examples/gradient_descent.rs"

[[example]]
name = "integer_lattices"
path = "examples/integer_lattices.rs"

[[example]]
name = "inverse_kinematics"
path = "examples/inverse_kinematics.rs"

[[example]]
name = "laplace_transforms"
path = "examples/laplace_transforms.rs"

[[example]]
name = "latex_output"
path = "examples/latex_output.rs"

[[example]]
name = "linear_systems_and_ivp"
path = "examples/linear_systems_and_ivp.rs"

[[example]]
name = "matrix_algebra"
path = "examples/matrix_algebra.rs"

[[example]]
name = "matrix_decompositions"
path = "examples/matrix_decompositions.rs"

[[example]]
name = "number_theory"
path = "examples/number_theory.rs"

[[example]]
name = "numeric_optimization"
path = "examples/numeric_optimization.rs"

[[example]]
name = "ode_solving"
path = "examples/ode_solving.rs"

[[example]]
name = "optimization"
path = "examples/optimization.rs"

[[example]]
name = "physics_constants"
path = "examples/physics_constants.rs"

[[example]]
name = "pid_controller"
path = "examples/pid_controller.rs"

[[example]]
name = "polynomials"
path = "examples/polynomials.rs"

[[example]]
name = "quickstart"
path = "examples/quickstart.rs"

[[example]]
name = "readme_snippets"
path = "examples/readme_snippets.rs"

[[example]]
name = "repl"
path = "examples/repl.rs"

[[example]]
name = "robotics_codegen"
path = "examples/robotics_codegen.rs"

[[example]]
name = "rule_engine"
path = "examples/rule_engine.rs"

[[example]]
name = "sets_and_logic"
path = "examples/sets_and_logic.rs"

[[example]]
name = "signal_filter"
path = "examples/signal_filter.rs"

[[example]]
name = "summation_and_series"
path = "examples/summation_and_series.rs"

[[example]]
name = "transforms"
path = "examples/transforms.rs"

[[example]]
name = "units_electrical"
path = "examples/units_electrical.rs"

[[example]]
name = "units_engineering"
path = "examples/units_engineering.rs"

[[example]]
name = "units_kinematics"
path = "examples/units_kinematics.rs"

[[example]]
name = "units_lagrangian"
path = "examples/units_lagrangian.rs"

[[example]]
name = "units_physics"
path = "examples/units_physics.rs"

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

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

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

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

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

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

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

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

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

[[bench]]
name = "canonicalization"
path = "benches/canonicalization.rs"
harness = false

[dependencies.astro-float]
version = "0.9"

[dependencies.bitflags]
version = "2.11"

[dependencies.num-bigint]
version = "0.4"

[dependencies.num-integer]
version = "0.1"

[dependencies.num-rational]
version = "0.4"

[dependencies.num-traits]
version = "0.2"

[dependencies.parking_lot]
version = "0.12"

[dependencies.rustc-hash]
version = "2.1"

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

[dependencies.serde_json]
version = "1"

[dependencies.smallvec]
version = "1.13"

[dependencies.symplex-macros]
version = "0.3.0"

[dependencies.thiserror]
version = "2.0"

[dependencies.tracing]
version = "0.1"

[dependencies.typenum]
version = "1.19"

[dev-dependencies.criterion]
version = "0.5"

[dev-dependencies.proptest]
version = "1.10"

[dev-dependencies.static_assertions]
version = "1.1"

[dev-dependencies.tracing-subscriber]
version = "0.3"
features = ["env-filter"]

[dev-dependencies.tracing-test]
version = "0.2"

[dev-dependencies.trybuild]
version = "1"