# 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 = "sembas" version = "0.3.0" description = "This crate provides tools for exploring the edge of a performance mode for complex systems testing, analysis, and optimization. A performance mode is an abstract characteristic of the system, which can be anything from an Autonomous Vehicle's safety, a function throwing exceptions, or a threshold being exceeded. Any form of binary classification of the input space can be used to explore the boundary between the classifications. Applications include falsification, training data generation, region of validity analysis, and much more." homepage = "https://github.com/Thomj-Dev/SEMBAS" readme = "README.md" license = "GPL-3.0" repository = "https://github.com/Thomj-Dev/SEMBAS" [dependencies.bytemuck] version = "1.18.0" optional = true [dependencies.nalgebra] version = "0.33.0" [dependencies.petgraph] version = "0.6.5" [dependencies.rand] version = "0.8.5" optional = true [dependencies.rand_chacha] version = "0.3.1" optional = true [dependencies.rstar] version = "0.12.0" [dependencies.serde] version = "1.0.210" features = ["derive"] optional = true [dependencies.serde_json] version = "1.0.128" optional = true [features] all = [ "default", "api", "metrics", "sps", ] api = ["bytemuck"] default = [ "global_search", "surfacing", "io", ] global_search = [ "rand", "rand_chacha", ] io = [ "serde", "serde_json", ] metrics = [] sps = [] surfacing = []