solverforge-scoring 0.17.1

Incremental constraint scoring for SolverForge
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
38
39
40
41
42
43
44

/* Zero-erasure monomorphized constraint infrastructure.

This module provides a fully monomorphized constraint evaluation system where
all closures are stored as concrete generic types - no Arc, no dyn,
fully monomorphized.

# Key Benefits

- **No hot-path erasure**: Filters and weights are generic type params
- **Inline evaluation**: No boxing or downcasting per predicate call
- **Monomorphized pipelines**: Each constraint is fully specialized
*/

#[macro_use]
pub mod macros;
#[macro_use]
pub mod nary_incremental;

pub mod balance;
pub mod complemented;
pub mod cross_bi_incremental;
pub mod cross_complemented_grouped;
pub mod cross_grouped;
pub mod exists;
pub mod flattened_bi;
pub mod grouped;
pub mod incremental;
mod incremental_markers;
pub mod list_precedence;
pub mod projected;
pub mod shared;

#[cfg(test)]
mod tests;

pub use balance::BalanceConstraint;
pub use exists::IncrementalExistsConstraint;
pub use flattened_bi::FlattenedBiConstraint;
pub use incremental::IncrementalUniConstraint;
pub use list_precedence::ListPrecedenceMakespanConstraint;
pub use nary_incremental::{
    IncrementalBiConstraint, IncrementalPentaConstraint, IncrementalQuadConstraint,
    IncrementalTriConstraint,
};