var structzyppng_1_1log_1_1formatter_3_01sat_1_1EvaluatedSolvableSpec_01_4 =
[
    [ "stream", "structzyppng_1_1log_1_1formatter_3_01sat_1_1EvaluatedSolvableSpec_01_4.html#aecd672aa5f35bae5f05607150a977830", null ]
];