xlog-prob 0.9.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 = "2021"
name = "xlog-prob"
version = "0.9.2"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Probabilistic inference engines for XLOG"
homepage = "https://github.com/BrainyBlaze/xlog"
documentation = "https://docs.rs/xlog-prob"
readme = "README.md"
keywords = [
    "xlog",
    "datalog",
    "gpu",
    "cuda",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/BrainyBlaze/xlog"

[features]
default = []
host-io = []

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[bench]]
name = "prob_bench"
path = "benches/prob_bench.rs"
harness = false
required-features = ["host-io"]

[dependencies.bytemuck]
version = "1"

[dependencies.cudarc]
version = "0.19.4"
features = ["cuda-12040"]

[dependencies.xlog-core]
version = "0.9.2"

[dependencies.xlog-cuda]
version = "0.9.2"

[dependencies.xlog-ir]
version = "0.9.2"

[dependencies.xlog-logic]
version = "0.9.2"

[dependencies.xlog-runtime]
version = "0.9.2"

[dependencies.xlog-solve]
version = "0.9.2"

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