Skip to main content

constraint_theory_core_cuda/
lib.rs

1//! constraint-theory-core-cuda
2//!
3//! CUDA FFI bridge connecting the constraint-theory-core Rust CSP solver
4//! to GPU-accelerated parallel constraint solving via flux-cuda kernels.
5//!
6//! Target hardware: JetsonClaw1 (Jetson Xavier NX, 512 CUDA cores, 8GB unified)
7//!
8//! # Architecture
9//!
10//! ```text
11//! Rust CSP formulation (constraint-theory-core)
12//!         │
13//!     FFI boundary (this crate)
14//!         │
15//! CUDA kernels (flux-cuda)
16//!     ├── flux_vm_kernel — parallel FLUX VM execution
17//!     ├── csp_solver_kernel — parallel backtracking + AC-3
18//!     └── sonar_physics_kernel — batch Mackenzie 1981 / Francois-Garrison 1982
19//! ```
20
21pub mod cuda_ffi;
22
23pub use cuda_ffi::{
24    CspProblem, CspSolution, CudaError, GpuCspSolver, SonarResult,
25    LinearConstraint,
26};