selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
//! Variable system with modernized modular organization.
//!
//! This module re-exports variable types from the new modular structure for backward compatibility.
//! The actual implementations have been moved to focused modules:
//! - `variables::core`: Core types (VarId, Val, Var, Vars)
//! - `variables::views`: View system for constraint implementation 
//! - `variables::operations`: Arithmetic operations on variables
//! - `variables::domains`: Domain management utilities
//! - `variables::values`: Value-specific operations

// Re-export core types for backward compatibility
pub use crate::variables::core::{Val};