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
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! Constraint system module
//!
//! This module contains the constraint system components including:
//! - Constraint API for posting constraints (organized by category)
//! - Constraint macros for mathematical syntax
//! - Propagators for constraint enforcement
//! - Constraint builders for fluent API

// New unified constraint functions (Phase 1 of refactoring)
pub mod functions;

// Constraint API - organized user-facing methods
pub mod api;

// Modular propagator system (final modularization phase)
pub mod propagators;

// GAC modules
pub mod gac_hybrid;
pub mod gac_sparseset;
pub mod gac_bitset;

// Moved files
pub mod boolean_operators;
pub mod operators;

// Re-export GAC modules (gac_hybrid contains all common types)
pub use gac_hybrid::*;
pub use gac_sparseset::*;

// Re-export moved files
pub use boolean_operators::*;
pub use operators::*;

// Props module  
pub mod props;
pub use props::*;