selen 0.9.2

[dependencies]

[dev-dependencies]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[lints.rustdoc]
missing_crate_level_docs = "warn"
private_doc_tests = "warn"
unescaped_backticks = "warn"

[package]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["algorithms", "data-structures", "mathematics", "science"]
description = "Constraint Satisfaction Problem (CSP) solver"
documentation = "https://docs.rs/selen"
edition = "2024"
homepage = "https://github.com/radevgit/selen"
keywords = ["csp", "constraint-solver", "solver", "puzzle", "constraint"]
license = "MIT"
name = "selen"
readme = "README.md"
repository = "https://github.com/radevgit/selen"
rust-version = "1.88"
version = "0.9.2"

[profile.release]
codegen-units = 1
lto = true
opt-level = 3
panic = "abort"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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