Interface SolverStats

interface SolverStats {
    attempts: number;
    components: number;
    iterations: number;
    rules: number;
    variables: number;
}