Constant clingo_sys::clingo_solve_result_e_clingo_solve_result_exhausted

pub const clingo_solve_result_e_clingo_solve_result_exhausted: clingo_solve_result_e = 4;