Zero-erasure incremental constraint scoring for SolverForge.
This crate provides fully-typed incremental scoring infrastructure:
- Zero-erasure incremental constraints (
IncrementalUniConstraint,IncrementalBiConstraint, etc.) - Typed score directors (
TypedScoreDirector) - Tuple-based constraint sets (zero virtual dispatch)
Architecture
All scoring is fully monomorphized - no Box<dyn Trait> in hot paths.
Closures are stored as generic type parameters, not Arc<dyn Fn>.