[][src]Type Definition clingo_sys::clingo_statistics_t

type clingo_statistics_t = clingo_statistic;

Handle for the solver statistics.