csp-solver 0.5.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 = "2024"
rust-version = "1.88"
name = "csp-solver"
version = "0.5.0"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Generic constraint satisfaction problem solver with backtracking, AC-3 constraint propagation, and ordering heuristics."
readme = "README.md"
license = "MIT"
repository = "https://github.com/mkbabb/csp-solver"
resolver = "2"

[features]
abi3 = [
    "py",
    "pyo3/abi3-py310",
]
default = []
py = ["dep:pyo3"]

[lib]
name = "csp_solver"
crate-type = ["lib"]
path = "src/lib.rs"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[dependencies.include_dir]
version = "0.7.4"

[dependencies.pyo3]
version = "0.29"
features = ["extension-module"]
optional = true

[dependencies.smallvec]
version = "1"

[dev-dependencies.criterion]
version = "0.8.2"
features = ["cargo_bench_support"]
default-features = false

[dev-dependencies.iai-callgrind]
version = "0.16.1"

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

[lints.clippy]
mod_module_files = "deny"

[lints.clippy.all]
level = "deny"
priority = -1

[lints.rust]
warnings = "deny"