Expand description
SolverForge Core - Core types and traits for constraint solving
This crate provides the fundamental abstractions for SolverForge:
- Score types for representing solution quality
- Domain traits for defining planning problems
- Descriptor types for runtime metadata
- Constraint types for incremental evaluation
Re-exports§
pub use constraint::ConstraintRef;pub use constraint::ImpactType;pub use domain::PlanningEntity;pub use domain::PlanningId;pub use domain::PlanningSolution;pub use domain::ProblemFact;pub use error::SolverForgeError;pub use score::BendableScore;pub use score::HardMediumSoftScore;pub use score::HardSoftDecimalScore;pub use score::HardSoftScore;pub use score::ParseableScore;pub use score::Score;pub use score::ScoreParseError;pub use score::SimpleScore;
Modules§
- constraint
- Core constraint types.
- domain
- Domain model traits for defining planning problems
- error
- Error types for SolverForge
- score
- Score types for representing solution quality