selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Modular constraint propagator system (Framework)
//!
//! This module demonstrates the final modularization phase structure.
//! Framework is ready for future migration of props/mod.rs functionality.

pub mod core_framework;
pub mod manager;

// Framework modules for demonstration - not exported to avoid conflicts\n// pub use core_framework::*;

// Framework available but not activated to maintain compatibility
// Re-export everything from the props submodule for backward compatibility
pub use crate::constraints::props::*;

// Organized propagator categories (currently organizational only)
pub mod arithmetic;
pub mod comparison;
pub mod logical;
pub mod global;
pub mod mathematical;