symplex 0.7.2

Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

# cargo-deny configuration: https://embarkstudios.github.io/cargo-deny/
#
# Policy: symplex is pure Rust.  No crate in the dependency graph (including
# dev-dependencies and build-dependencies) may compile or link C/C++ code or
# depend on a system library.  Run `cargo deny check` locally; CI runs it too.

[graph]
all-features = true

[advisories]
version = 2
yanked = "deny"
ignore = []

[licenses]
version = 2
# Permissive licenses only; anything else must be added here deliberately.
# (Only licenses actually present in the graph are listed, so an unexpected
# license fails the check instead of being silently allowed.)
allow = [
    "MIT",
    "Apache-2.0",
    "Apache-2.0 WITH LLVM-exception",
    "BSD-2-Clause",
    "Unicode-3.0",
]
confidence-threshold = 0.9

[bans]
multiple-versions = "warn"
wildcards = "allow"
# Anything that compiles C/C++ or binds a system library is forbidden.
deny = [
    { crate = "cc", reason = "pure Rust only: no C/C++ compilation" },
    { crate = "cmake", reason = "pure Rust only: no C/C++ build systems" },
    { crate = "pkg-config", reason = "pure Rust only: no system libraries" },
    { crate = "vcpkg", reason = "pure Rust only: no system libraries" },
    { crate = "bindgen", reason = "pure Rust only: no C bindings" },
    { crate = "cxx", reason = "pure Rust only: no C++ interop" },
    { crate = "openssl", reason = "pure Rust only (use rustls if TLS is ever needed)" },
    { crate = "openssl-sys", reason = "pure Rust only" },
    { crate = "libz-sys", reason = "pure Rust only" },
    { crate = "zstd-sys", reason = "pure Rust only" },
    { crate = "gmp-mpfr-sys", reason = "pure Rust only: no GMP/MPFR (rug)" },
    { crate = "rug", reason = "pure Rust only: rug links GMP" },
    { crate = "flint-sys", reason = "pure Rust only: no FLINT" },
    { crate = "openblas-src", reason = "pure Rust only: no BLAS/LAPACK" },
    { crate = "netlib-src", reason = "pure Rust only: no BLAS/LAPACK" },
    { crate = "intel-mkl-src", reason = "pure Rust only: no BLAS/LAPACK" },
    { crate = "blas-sys", reason = "pure Rust only: no BLAS/LAPACK" },
    { crate = "lapack-sys", reason = "pure Rust only: no BLAS/LAPACK" },
    { crate = "coin_cbc", reason = "pure Rust only: no COIN-OR C libraries" },
    { crate = "highs-sys", reason = "pure Rust only: no HiGHS" },
    { crate = "z3-sys", reason = "pure Rust only" },
    { crate = "python3-sys", reason = "pure Rust only" },
    { crate = "pyo3", reason = "pure Rust only: no CPython embedding" },
]

[sources]
unknown-registry = "deny"
unknown-git = "deny"
allow-registry = ["https://github.com/rust-lang/crates.io-index"]