Module solution 

Structs

EnhancedSolveStats

Enhanced statistics with detailed timing information for performance analysis.

Solution

Assignment for decision variables that satisfies all constraints.

SolveStats

Statistics collected during the solving process.