clingo_sys
pub const clingo_solve_result_clingo_solve_result_unsatisfiable: clingo_solve_result = 2
=
2