List of all items

Structs

• config::SolverConfig
• solution::EnhancedSolveStats
• solution::Solution
• solution::SolveStats
• vars::VarId
• vars::VarIdBin

Enums

• error::SolverError
• validation::ConflictType
• validation::DomainIssue
• validation::ValidationError
• vars::Val
• vars::Var

Functions

• prelude::float
• prelude::int

Type Aliases

• error::SolverResult